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