Languages
Giannakopoulou, Dimitra.
Overview
Works: | 1 works in 1 publications in 1 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]
Fundamental approaches to software engineering = 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Orejas, Fernando.; SpringerLink (Online service); Giannakopoulou, Dimitra.
(Language materials, printed)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Giannakopoulou, Dimitra.; Mery, Dominique.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Computer organization.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Simulation and Modeling.
Theory of Computation.
Computers.
Software engineering
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Computer simulation.
Management of Computing and Information Systems.
Artificial Intelligence.