کتاب های André Platzer
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
André Platzer (auth.), 2010
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
André Platzer (auth.), 2010
Logical Foundations of Cyber-Physical Systems
André Platzer, 2018
