Perez, Ivan.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
NASA Formal Methods = 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings /
by:
Perez, Ivan.; Deshmukh, Jyotirmoy V.; Havelund, Klaus.; 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:
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.
Software Engineering/Programming and Operating Systems.
Computer Modelling.
Artificial Intelligence.
Computer networks .
Artificial intelligence.
Software engineering.
Simulation and Modeling.
Computer science.
Theory of Computation.
Computers.
Computer Systems Organization and Communication Networks.
Computer simulation.
Computer Engineering and Networks.