Rajeev Alur
Rajeev Alur
5 ספרים במאגר
ספרים
Hybrid systemsRajeev Alur
Hybrid systems
Rajeev Alur · 2004
Computer aided verificationRajeev Alur
Computer aided verification
Rajeev Alur · 2004
Embedded SoftwareRajeev Alur
Embedded Software
Rajeev Alur · 2003
Principles of Cyber-Physical SystemsRajeev Alur
Principles of Cyber-Physical Systems
Rajeev Alur · 2015
Hybrid Systems : Computation and ControlRajeev Alur
Hybrid Systems : Computation and Control
Rajeev Alur · 2004