Platzer, André.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automated Deduction – CADE 28 = 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings /
by:
SpringerLink (Online service); Platzer, André.; Sutcliffe, Geoff.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logical Foundations of Cyber-Physical Systems
by:
SpringerLink (Online service); Platzer, André.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Formal methods = 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.. Part I /
by:
Platzer, André.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Correct System Design = Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
by:
Meyer, Roland.; SpringerLink (Online service); Wehrheim, Heike.; Platzer, André.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Formal methods (Computer science)
Computer logic.
Artificial intelligence.
Control, Robotics, Mechatronics.
Software engineering.
Programming Language.
Quality Control, Reliability, Safety and Risk.
Mechatronics.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Artificial Intelligence.
Reliability.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Control engineering.
Quality control.
Robotics.
Industrial safety.
Natural Language Processing (NLP)
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.