rajeev alur
Principles of Cyber-Physical Systems
EbookSofort lieferbarA cyber-physical system consists of a collection of computing devices communicating with one anot...
Embedded Software
EbookSofort lieferbarThis book constitutes the refereed proceedings of the Third International Conference on Embedded ...
Hybrid Systems: Computation and Control
EbookSofort lieferbarThis volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Contr...
Hybrid Systems: Computation and Control
TaschenbuchPrint on DemandThis volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Contr...
Computer Aided Verification
TaschenbuchPrint on DemandThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Bost...
- 1