语系
Lecomte, Thierry.
概要
| 作品: | 1 作品在 2 项出版品 1 种语言 | |
|---|---|---|
书目信息
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)
(书目-电子资源)
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)
(书目-语言数据,印刷品)
主题
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.