語系
Franzle, Martin.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal modeling and analysis of timed systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings /
by:
Franzle, Martin.; Workshop on the Preservation of Stability under Discretization ((2001 :); Markey, Nicolas.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Dependable software engineering = theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings /
by:
Zhan, Naijun.; SpringerLink (Online service); Kapur, Deepak.; Workshop on the Preservation of Stability under Discretization ((2001 :); Franzle, Martin.
(書目-語言資料,印刷品)
主題
Temporal automata
Software Engineering.
Probability and Statistics in Computer Science.
Formal methods (Computer science)
Computer Applications.
Simulation and Modeling.
Computer simulation
Software engineering
Computer Science.
System analysis
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.