Platzer, Andre.
Overview
| Works: | 0 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Correct system designsymposium 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.; SpringerLink (Online service); Wehrheim, Heike.
(Electronic resources)
Logical analysis of hybrid systemsproving theorems for complex dynamics /
by:
Platzer, Andre.; SpringerLink (Online service)
(Electronic resources)
Logical foundations of cyber-physical systems
by:
Platzer, Andre.; SpringerLink (Online service)
(Electronic resources)
Automated deduction - CADE 2828th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings /
by:
(1998 :); Platzer, Andre.; SpringerLink (Online service); Sutcliffe, Geoff.
(Electronic resources)
Formal methods26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.Part II /
by:
(1998 :); Platzer, Andre.; SpringerLink (Online service)
(Electronic resources)
Subjects
System analysis.
Mathematical Logic and Formal Languages.
Control, Robotics, Mechatronics.
Mathematical Logic and Foundations.
Software Engineering.
Natural Language Processing (NLP)
Hybrid systems.
Mathematics of Computing.
Logics and Meanings of Programs.
Programming Language.
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Control Structures and Microprogramming.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer Science.
Logic, Symbolic and mathematical
Cooperating objects (Computer systems)
Quality Control, Reliability, Safety and Risk.