Alur, Rajeev,, 1966-
Principles of cyber-physical systems / Rajeev Alur . - London : Cambridge (MA) : The MIT Press, 2015 . - XII, 446 p. : il.


ISBN 978-0-262-02911-7 (encadernado).

Internet
Controlo automático
Design de sistemas
Sistemas embebidos
Métodos formais (Ciência de computadores)

CDU 004.7:681.5