Rajeev Alur
Identifiers
- Open LibraryOL7932558A
Top Subjects
- Embedded computer systems (1)
- Computer software, development (1)
- Computer software, testing (1)
Books by Rajeev Alur
Total count: 4
-
Embedded SoftwareThird International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, ProceedingsSpringer London, Limited2003-01-01
-
Hybrid Systems : Computation and Control7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, ProceedingsSpringer London, Limited2004-01-01
-
Computer Aided Verification16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, ProceedingsSpringer London, Limited2004-01-01
-
Principles of Cyber-Physical SystemsMIT Press2015-01-01