André, Étienne.
Overview
Works: | 0 works in 0 publications in 0 languages |
---|
Titles
Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings /
by:
Stoelinga, Mariëlle.; SpringerLink (Online service); André, Étienne.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Computer logic.
Algorithm Analysis and Problem Complexity.
Special Purpose and Application-Based Systems.
Algorithms.
Software engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Simulation and Modeling.
Computer simulation.
Special purpose computers.