語系
Legay, Axel.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal modeling and analysis of timed systems12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(1998 :); Bozga, Marius.; Legay, Axel.; SpringerLink (Online service)
(書目-電子資源)
From programs to systems - the systems perspective in computingETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 : proceedings /
by:
(1998 :); Bensalem, Saddek.; Lakhneck, Yassine.; Legay, Axel.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.Part II /
by:
(1998 :); Legay, Axel.; Margaria, Tiziana.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.Part I /
by:
(1998 :); Legay, Axel.; Margaria, Tiziana.; SpringerLink (Online service)
(書目-電子資源)
Model checking software26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings /
by:
(1998 :); Biondi, Fabrizio.; Given-Wilson, Thomas.; Legay, Axel.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Computer systems
Computation by Abstract Devices.
Computer software
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
System design
Computer simulation
Computer programs
Computer Science.
Simulation and Modeling.
System Performance and Evaluation.
Temporal automata
System analysis
Computer Applications.