Languages
Dutle, Aaron.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
NASA formal methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings /
by:
SpringerLink (Online service); Munoz, Cesar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dutle, Aaron.; Narkawicz, Anthony.
(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 = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
by:
Muñoz, César.; SpringerLink (Online service); Dutle, Aaron.; Narkawicz, Anthony.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Formal methods (Computer science)
Computer organization.
Computer engineering.
Software Engineering/Programming and Operating Systems.
Computer Modelling.
Computer networks .
Artificial intelligence.
System Performance and Evaluation.
Software engineering.
Computer science.
Theory of Computation.
Computer system failures.
Computers.
Computer Science.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer Systems Organization and Communication Networks.
Computer simulation.
Computer Engineering and Networks.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Simulation and Modeling.