Languages
Pinger, Ralf.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
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.
(Electronic resources)
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)
(Electronic resources)
Subjects
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.