語系
Platzer, Andre.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
Logical analysis of hybrid systemsproving theorems for complex dynamics /
by:
Platzer, Andre.; SpringerLink (Online service)
(書目-電子資源)
Logical foundations of cyber-physical systems
by:
Platzer, Andre.; SpringerLink (Online service)
(書目-電子資源)
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.
(書目-電子資源)
主題
System analysis.
Mathematical Logic and Formal Languages.
Control, Robotics, Mechatronics.
Mathematical Logic and Foundations.
Software Engineering.
Hybrid systems.
Mathematics of Computing.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
Computer Science.
Logic, Symbolic and mathematical
Cooperating objects (Computer systems)
Quality Control, Reliability, Safety and Risk.