Autor: Rajeev Alur

Soporte

5 Ebooks de Rajeev Alur

Rajeev Alur & George Pappas: Hybrid Systems: Computation and Control
This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid sys …
PDF
Inglés
DRM
€115.37
Rajeev Alur: Embedded Software
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.The 20 revised full papers presen …
PDF
Inglés
DRM
€58.04
Rajeev Alur: Principles of Cyber-Physical Systems
A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.A cyber-physical system consists of a collection o …
PDF
Inglés
DRM
€205.92