TY  - DATA
AU  - Platzer,André
TI  - Logical foundations of cyber-physical systems
SN  - 9783319635873
PY  - 2018///
CY  - New York, NY
PB  - Springer Berlin Heidelberg
KW  - DIFFERENTIAL EQUATIONS
KW  - inist
KW  - ECUACIONES DIFERENCIALES
KW  - DYNAMICAL SYSTEMS
KW  - SISTEMAS DINAMICOS
KW  - Cyberphysical Systems
KW  - Safety-Critical Systems
KW  - Model Checking
KW  - Control Loops
KW  - Proofs
ER  -