Languages
Salaun, Gwen.
Overview
| Works: | 3 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
Salaun, Gwen.; Workshop on the Preservation of Stability under Discretization ((2001 :); Schatz, Bernhard.; SpringerLink (Online service)
(Language materials, printed)
Software technologies = applications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers /
by:
Mazzara, Manuel.; Ober, Iulian.; SpringerLink (Online service); Salaun, Gwen.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal aspects of component software = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers /
by:
SpringerLink (Online service); Salaun, Gwen.; Workshop on the Preservation of Stability under Discretization ((2001 :); Pasareanu, Corina S.
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computer Science.
Computer programs
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Component software
Computer science
Management of Computing and Information Systems.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Software engineering
Programming Languages, Compilers, Interpreters.
Computer software