Languages
Platzer, Andre.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Cooperating objects (Computer systems)
Control, Robotics, Mechatronics.
Computer Science.
Quality Control, Reliability, Safety and Risk.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.