Mavridou, Anastasia.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
NASA Formal Methods = 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings /
by:
Mavridou, Anastasia.; SpringerLink (Online service); Jha, Susmit.; Lee, Ritchie.; Giannakopoulou, Dimitra.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
Mavridou, Anastasia.; Lluch Lafuente, Alberto.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
Lluch Lafuente, Alberto.; SpringerLink (Online service); Mavridou, Anastasia.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Computer organization.
Computer engineering.
Computer networks .
Artificial intelligence.
Software engineering.
Theory of Computation.
Computer Systems Organization and Communication Networks.
Compilers and Interpreters.
Computer simulation.
Computer Engineering and Networks.
Artificial Intelligence.
Simulation and Modeling.
Computer science.
Computers.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Compilers (Computer programs).