Platzer, André <br/><br/>
Logical foundations of cyber-physical systems. 

 - 662 p.  il. 
<br/><br/><label>ISBN: </label>9783319635873 
<br/><br/><label>Subjects--Topical Terms: </label><br/>DIFFERENTIAL EQUATIONS<br/>ECUACIONES DIFERENCIALES<br/>DYNAMICAL SYSTEMS<br/>SISTEMAS DINAMICOS
<br/><br/><label>Subjects--Index Terms: </label>Cyberphysical Systems Safety-Critical Systems Model Checking Control Loops Proofs