-
Formal Modeling and Analysis of Timed Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
Hybrid Systems: Computation and Control
EbookSofort lieferbarThis volume contains the proceedings of the Sec...
-
The Theory of Timed I/O Automata, Second Edition
EbookSofort lieferbarThis monograph presents the Timed Input Output ...
-
Lectures on Embedded Systems
TaschenbuchPrint on DemandThis volume originates from the School on Embed...
-
Hybrid Systems: Computation and Control
TaschenbuchPrint on DemandThis volume contains the proceedings of the Sec...
-
Formal Modeling and Analysis of Timed Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings ...
-
The Theory of Timed I/O Automata, Second Edition
TaschenbuchPrint on DemandThis monograph presents the Timed Input Output ...
- 1
Folgen Sie uns auf:
