Platzer, Andre.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
Logical foundations of cyber-physical systems
by:
SpringerLink (Online service); Platzer, Andre.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Cooperating objects (Computer systems)
Special Purpose and Application-Based Systems.
Control, Robotics, Mechatronics.
Control Structures and Microprogramming.
Programming Language.
Natural Language Processing (NLP)
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.
Computer Science Logic and Foundations of Programming.