Alur, Rajeev, 1966-
Principles of cyber-physical systems /
Rajeev Alur.
- London: MIT Press, 2015
- xii, 446 pages : illustrations ; 24 cm
9780262029117 (hardcover : alk. paper)
Automatic control.
System design.
Embedded internet devices.
Internet of things.
Formal methods (Computer science)
004.056 / ALU