Languages
Franzle, Martin.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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.
(Language materials, printed)
Subjects
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.