Andre, Etienne.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated technology for verification and analysis21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.Part I /
by:
(1998 :); Andre, Etienne.; SpringerLink (Online service); Sun, Jun.
(書目-電子資源)
Formal modeling and analysis of timed systems17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings /
by:
(1998 :); Andre, Etienne.; SpringerLink (Online service); Stoelinga, Marielle.
(書目-電子資源)
Automated technology for verification and analysis21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.Part II /
by:
(1998 :); Andre, Etienne.; SpringerLink (Online service); Sun, Jun.
(書目-電子資源)
主題
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