TY  - BOOK
AU  - Alur,Rajeev
TI  - Principles of cyber-physical systems
SN  - 9780262029117 (hardcover : alk. paper)
AV  - TJ213 .A365 2015
U1  - 006.22 23
PY  - 2015///
CY  - Cambridge, Massachusetts
PB  - The MIT Press
KW  - Automatic control
KW  - System design
KW  - Embedded internet devices
KW  - Internet of things
KW  - Formal methods (Computer science)
N1  - Includes bibliographical references and index
ER  -