語系
Cimatti, Alessandro.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
International Conference on Software Engineering and Formal Methods (2017 :); Cimatti, Alessandro.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
International Workshop on Formal Methods for Industrial Critical Systems (2023 :); Cimatti, Alessandro.; Titolo, Laura.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Theory of Computation.
Computer and Information Systems Applications.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Engineering and Networks.
Artificial Intelligence.
Computer Science.
System Performance and Evaluation.
Compilers and Interpreters.