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