Principles of cyber-physical systems - Alur, Rajeev (Cambridge, Massachusetts The MIT Press, 2015)
Electronic reproduction
Keywords: Automatic control; System design; Embedded Internet devices; Internet of things; Formal methods (Computer science); Electronic books