Browse
FAQ

Author

Rajeev Alur

4 books found

Cover of Principles of Cyber-Physical Systems

Principles of Cyber-Physical Systems

Rajeev Alur · First published 2015

Cover of Computer aided verification

Computer aided verification

Rajeev Alur, Doron A. Peled · First published 2004

Cover of Hybrid systems

Hybrid systems

Rajeev Alur · First published 2004

Cover of Embedded Software

Embedded Software

Rajeev Alur · First published 2003