語系
Artho, Cyrille.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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 :)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Formal methods (Computer science)
Artificial intelligence.
Software engineering.
Computer programming.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Systems engineering
Artificial Intelligence.
Computers.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Computer logic.
Algorithm Analysis and Problem Complexity.
System safety
Computer Science.
Computer simulation.
Simulation and Modeling.
Programming languages (Electronic computers).
Computation by Abstract Devices.