語系
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)
System analysis
Computer Applications.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Simulation and Modeling.
Computer simulation
Computation by Abstract Devices.
Software engineering
Computer Science.