Titolo, Laura.
Overview
| Works: | 0 works in 2 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:
Muñoz, César A.; Perez, Ivan.; Dutle, Aaron.; Moscato, Mariano M.; Titolo, Laura.; SpringerLink (Online service)
(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.; Dutle, Aaron.; Moscato, Mariano M.; Muñoz, César A.; SpringerLink (Online service); Titolo, Laura.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Nasa formal methods = 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025 : proceedings /
by:
SpringerLink (Online service); Humphrey, Laura.; Titolo, Laura.; Dutle, Aaron.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
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.
Simulation and Modeling.
Computer science.
Theory of Computation.
Computers.
Software engineering
Computer Systems Organization and Communication Networks.
Compilers and Interpreters.
Computer simulation.
Computer Engineering and Networks.
Computer and Information Systems Applications.
Artificial Intelligence.