Titolo, Laura.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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