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.
Management of Computing and Information Systems.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Software engineering
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer programs
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Component software
Computer science
Computer software