Cimatti, Alessandro.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Titolo, Laura.; SpringerLink (Online service); Cimatti, Alessandro.
(Language materials, printed)
Theory and applications of satisfiability testing - SAT 2012 = 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Sebastiani, Roberto.; SpringerLink (Online service); Cimatti, Alessandro.
(Language materials, printed)
Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
Cimatti, Alessandro.; SpringerLink (Online service); Sirjani, Marjan.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Computer algorithms
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
System Performance and Evaluation.
Theory of Computation.
Computer Science.
Programming Techniques.
Compilers and Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Information and Communication, Circuits.
Computer Engineering and Networks.
Computer and Information Systems Applications.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Software engineering
Programming Languages, Compilers, Interpreters.
Computer software
Computation by Abstract Devices.