Browsing Books by Author "Platzer, André"
Now showing items 1-1 of 1
-
Logical Foundations of Cyber-Physical Systems
Platzer, André (Springer, 2018)Cyber-physical systems combine cyber capabilities with physical capabilities to solve problems that neither part could solve alone. This chapter provides an informal introduction to cyber-physical systems, setting the ...