語系
Pinger, Ralf.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods for industrial critical systems17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /
by:
(1998 :); Pinger, Ralf.; SpringerLink (Online service); Stoelinga, Marielle.
(書目-電子資源)
Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings /
by:
(1998 :); Lecomte, Thierry.; Pinger, Ralf.; Romanovsky, Alexander.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Railroads
Artificial Intelligence (incl. Robotics)
Special Purpose and Application-Based Systems.
Computer Appl. in Administrative Data Processing.
Formal methods (Computer science)
Computer programs
Computer Science.
Computer Communication Networks.
Systems and Data Security.