frits w vaandrager
Lectures on Embedded Systems
TaschenbuchPrint on DemandInhaltsangabeVerification of clocked and hybrid systems.- Analyzing and synthesizing hybrid contr...
Hybrid Systems: Computation and Control
TaschenbuchPrint on DemandThis volume contains the proceedings of the Second International Workshop on Hybrid Systems: Comp...
Formal Modeling and Analysis of Timed Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 7th International Conference on Formal Mode...
- 1