Yazar
Rajeev Alur
5 cilt bulundu.
Cilt sonuçları
Hybrid systems
Rajeev Alur · Springer
674 sayfa · 2004
Hybrid computers / Digital control systems / Congresses / Computer science / Software engineering
Computer aided verification
Rajeev Alur, Doron A. Peled · Springer
536 sayfa · 2004
COMPUTERS / Systems Architecture / General / Congresses / Verification
Principles of Cyber-Physical Systems
Rajeev Alur · MIT Press
464 sayfa · 2015
Embedded computer systems / Computer networks / Automatic control / System design / Embedded internet devices