Titolo, Laura.
Overview
| Works: | 0 works in 1 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)
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings /
by:
Titolo, Laura.; Muñoz, César A.; Perez, Ivan.; SpringerLink (Online service); Dutle, Aaron.; Moscato, Mariano M.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings /
by:
Perez, Ivan.; SpringerLink (Online service); Dutle, Aaron.; Moscato, Mariano M.; Titolo, Laura.; Muñoz, César A.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Computer organization.
Computer engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer Modelling.
Computer networks .
Artificial intelligence.
Software engineering.
Theory of Computation.
Computer Systems Organization and Communication Networks.
Compilers and Interpreters.
Computer simulation.
Computer Engineering and Networks.
Computer and Information Systems Applications.
Artificial Intelligence.
Simulation and Modeling.
Computer science.
Computers.
Software engineering