Languages
Andre, Etienne.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal modeling and analysis of timed systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings /
by:
FORMATS (Conference) (2019 :); Andre, Etienne.; Stoelinga, Marielle.; SpringerLink (Online service)
(Electronic resources)
Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part II /
by:
ATVA (Symposium) (2023 :); Andre, Etienne.; SpringerLink (Online service); Sun, Jun.
(Electronic resources)
Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part I /
by:
ATVA (Symposium) (2023 :); Andre, Etienne.; SpringerLink (Online service); Sun, Jun.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Automatic theorem proving
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Computer simulation
Computer Engineering and Networks.
Artificial Intelligence.
Simulation and Modeling.
Computer Hardware.
Temporal automata
System analysis