Languages
Artho, Cyrille.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers /
by:
SpringerLink (Online service); Ölveczky, Peter Csaba.; Artho, Cyrille.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Techniques for Safety-Critical Systems = Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
by:
Artho, Cyrille.; Ölveczky, Peter Csaba.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Techniques for Safety-Critical Systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers /
by:
Ölveczky, Peter Csaba.; Artho, Cyrille.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Automated Technology for Verification and Analysis = 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
by:
Legay, Axel.; SpringerLink (Online service); Peled, Doron.; Artho, Cyrille.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers /
by:
Olveczky, Peter Csaba.; SpringerLink (Online service); Artho, Cyrille.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
SpringerLink (Online service); Olveczky, Peter Csaba.; Workshop on the Preservation of Stability under Discretization ((2001 :); Artho, Cyrille.
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer logic.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Simulation and Modeling.
Software engineering.
System safety
Computers.
Computer Science.
Computer programming.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computation by Abstract Devices.
Computer simulation.
Systems engineering
Artificial Intelligence.