Languages
Platzer, Andre.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
Meyer, Roland.; Platzer, Andre.; Wehrheim, Heike.; SpringerLink (Online service)
(Electronic resources)
Logical analysis of hybrid systems = proving theorems for complex dynamics /
by:
Platzer, Andre.; SpringerLink (Online service)
(Language materials, printed)
Automated deduction - CADE 28 = 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings /
by:
International Conference on Automated Deduction (2021 :); Platzer, Andre.; Sutcliffe, Geoff.; SpringerLink (Online service)
(Electronic resources)
Logical foundations of cyber-physical systems
by:
Platzer, Andre.; SpringerLink (Online service)
(Electronic resources)
Subjects
System analysis.
Control, Robotics, Mechatronics.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Software Engineering.
Hybrid systems.
Logics and Meanings of Programs.
Mathematics of Computing.
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
Computer Science.
Logic, Symbolic and mathematical
Cooperating objects (Computer systems)
Quality Control, Reliability, Safety and Risk.