Fränzle, Martin.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Modeling and Analysis of Timed Systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /
by:
Fränzle, Martin.; SpringerLink (Online service); Markey, Nicolas.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Dependable Software Engineering: Theories, Tools, and Applications = Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
by:
Kapur, Deepak.; SpringerLink (Online service); Zhan, Naijun.; Fränzle, Martin.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Probability and Statistics in Computer Science.
Application software.
Mathematical statistics.
Computer logic.
Computer Applications.
Software engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Simulation and Modeling.
Computation by Abstract Devices.
Computer simulation.
Computers.