語系
Artho, Cyrille.
概要
| 作品: | 0 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal techniques for safety-critical systems = second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013 : revised selected papers /
by:
Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers /
by:
FTSCS (Workshop) (2016 :); Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for safety-critical systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers /
by:
FTSCS (Workshop) (2018 :); Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for safety-critical systems = third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 : revised selected papers /
by:
Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Systems engineering
Logics and Meanings of Programs.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.
Simulation and Modeling.
System safety