frits w vaandrager
Formal Modeling and Analysis of Timed Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 7th International Conference on Formal Mode...
Hybrid Systems: Computation and Control
EbookSofort lieferbarThis volume contains the proceedings of the Second International Workshop on Hybrid Systems: Comp...
The Theory of Timed I/O Automata, Second Edition
EbookSofort lieferbarThis monograph presents the Timed Input Output Automaton (TIOA) modeling framework, a basic mathe...
The Theory of Timed I/O Automata
EbookSofort lieferbarThis monograph presents the timed input output automaton (TIOA) modeling framework, a basic mathe...
Formal Modeling and Analysis of Timed Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 7th International Conference on Formal Mode...
Lectures on Embedded Systems
TaschenbuchPrint on DemandThis volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in...
The Theory of Timed I/O Automata, Second Edition
TaschenbuchPrint on DemandThis monograph presents the Timed Input Output Automaton (TIOA) modeling framework, a basic mathe...
Hybrid Systems: Computation and Control
TaschenbuchPrint on DemandThis volume contains the proceedings of the Second International Workshop on Hybrid Systems: Comp...
- 1