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
Algorithm Analysis and Problem Complexity.
Algorithms.
Computer logic.
Computer simulation.
Logics and Meanings of Programs.
Mathematical logic.
Mathematical Logic and Formal Languages.
Simulation and Modeling.
Software engineering.
Software Engineering.
Special Purpose and Application-Based Systems.
Special purpose computers.