Platzer, Andre.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal methods = 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.. Part II /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Platzer, Andre.
(Language materials, printed)
Logical foundations of cyber-physical systems
by:
SpringerLink (Online service); Platzer, Andre.
(Language materials, printed)
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:
Wehrheim, Heike.; Meyer, Roland.; SpringerLink (Online service); Platzer, Andre.
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Control, Robotics, Mechatronics.
Programming Language.
Computer Science.
Quality Control, Reliability, Safety and Risk.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Cooperating objects (Computer systems)
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Natural Language Processing (NLP)
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.