Languages
Lecomte, Thierry.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Reliability, safety, and security of railway systems[electronic resource] :modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings /
by:
Clark Conference ((2005 :); Lecomte, Thierry.; Pinger, Ralf.; Romanovsky, Alexander.; SpringerLink (Online service)
(Electronic resources)
Formal methods[electronic resource] :foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
Clark Conference ((2005 :); Lecomte, Thierry.; Ribeiro, Leila.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Railroads
Artificial Intelligence (incl. Robotics)
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer Science.
Computer Communication Networks.
Systems and Data Security.
Simulation and Modeling.