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)
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.