Lecomte, Thierry.
Overview
Works: | 1 works in 4 publications in 1 languages |
---|
Titles
Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
Lecomte, Thierry.; Workshop on the Preservation of Stability under Discretization ((2001 :); Ribeiro, Leila.; SpringerLink (Online service)
(Language materials, printed)
Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Lecomte, Thierry.; Milius, Birgit.; Collart-Dutilleul, Simon.; SpringerLink (Online service)
(Language materials, printed)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings /
by:
Haxthausen, Anne E.; Lecomte, Thierry.; Collart-Dutilleul, Simon.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /
by:
SpringerLink (Online service); Pinger, Ralf.; Lecomte, Thierry.; Romanovsky, Alexander.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
by:
Lecomte, Thierry.; SpringerLink (Online service); Ribeiro, Leila.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Romanovsky, Alexander.; Lecomte, Thierry.; Pinger, Ralf.; SpringerLink (Online service)
(Language materials, printed)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings /
by:
Collart-Dutilleul, Simon.; SpringerLink (Online service); Romanovsky, Alexander.; Lecomte, Thierry.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings /
by:
SpringerLink (Online service); Fantechi, Alessandro.; Lecomte, Thierry.; Romanovsky, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Mathematical logic.
Formal methods (Computer science)
Computer engineering.
Railroads
Systems and Data Security.
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer networks .
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer Science.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer simulation.
Computer Engineering and Networks.
Computer and Information Systems Applications.
Management of Computing and Information Systems.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Application software.
Artificial Intelligence.
Control Structures and Microprogramming.
Simulation and Modeling.
Computer science.
Management information systems.
Programming Languages, Compilers, Interpreters.
Computer security.
Programming languages (Electronic computers).
Software Engineering.