amir pnueli
Perspectives of Systems Informatics
EbookSofort lieferbarThis book contains thoroughly refereed and revised papers from the 7th International Andrei Ersho...
The Temporal Logic of Reactive and Concurrent Systems
EbookSofort lieferbarReactive systems are computing systems which are interactive, such as real-time systems, operatin...
Temporal Verification of Reactive Systems
EbookSofort lieferbarThis book is about the verification of reactive systems. A reactive system is a system that maint...
Hybrid Systems: Computation and Control
EbookSofort lieferbarThis volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Con...
Compositionality: The Significant Difference
EbookSofort lieferbarThis book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad...
Temporal Verification of Reactive Systems
BuchBezug 11-15This book is about the verification of reactive systems. A reactive system is a system that maint...
The Temporal Logic of Reactive and Concurrent Systems
BuchBezug 11-15Reactive systems are computing systems which are interactive, such as real-time systems, operatin...
Compositionality: The Significant Difference
TaschenbuchBezug 11-15This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad...
Hybrid Systems: Computation and Control
TaschenbuchBezug 11-15This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Con...
The Temporal Logic of Reactive and Concurrent Systems
TaschenbuchBezug 11-15Reactive systems are computing systems which are interactive, such as real-time systems, operatin...
Temporal Verification of Reactive Systems
TaschenbuchBezug 11-15This book is about the verification of reactive systems. A reactive system is a system that maint...
Temporal Logic in Specification
TaschenbuchBezug 16-20Comparing linear and branching time temporal logics.- Interleaving set temporal logic.- An expres...
- 1
- 2