André Platzer
Identifiers
- Open LibraryOL7837546A
Top Subjects
- Engineering (1)
- System theory (1)
- System analysis (1)
- System design (1)
- Automation (1)
- Suco11645 (1)
- Quality control (1)
Books by André Platzer
Total count: 5
-
Logical Analysis of Hybrid SystemsProving Theorems for Complex DynamicsSpringer2010-01-01
-
Correct System DesignSymposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, ProceedingsSpringer London, Limited2015-01-01
-
Logical Foundations of Cyber-Physical SystemsSpringer2018-01-01
-
Automated Deduction - CADE 2828th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, ProceedingsSpringer International Publishing AG2021-01-01
-
Formal Methods26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part IISpringer2024-01-01