Logical foundations of cyber-physical systems
Platzer, Andre.
Logical foundations of cyber-physical systems Andre Platzer. - Switzerland: Springer Nature, 2018. - xxxi, 639p.
Includes bibliographical references and index.
9783319635873 (alk. paper) = EECS-reference book collection
2018946565
Cyber Systems.
Hybrid-systems.
Multi-dynamical systems.
004.259 P698L
Logical foundations of cyber-physical systems Andre Platzer. - Switzerland: Springer Nature, 2018. - xxxi, 639p.
Includes bibliographical references and index.
9783319635873 (alk. paper) = EECS-reference book collection
2018946565
Cyber Systems.
Hybrid-systems.
Multi-dynamical systems.
004.259 P698L