Special Section on Formal Methods for Industrial Critical Systems (Selected Papers from FMICS'11)

Gwen Salaün 1, * Bernhard Schätz 2
* Corresponding author
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This section contains extended versions of selected papers from the 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11).
Document type :
Directions of work or proceedings
Gwen Salaün; Bernhard Schätz. France. 80(A), Elsevier, 2014, Science of Computer Programming, 〈10.1016/j.scico.2013.01.008〉
Liste complète des métadonnées

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/hal-00919803
Contributor : Gwen Salaün <>
Submitted on : Tuesday, December 17, 2013 - 12:50:52 PM
Last modification on : Wednesday, December 14, 2016 - 1:08:38 AM
Document(s) archivé(s) le : Monday, March 17, 2014 - 11:11:18 PM

File

preface_scp_fmics11.pdf
Files produced by the author(s)

Identifiers

Citation

Gwen Salaün, Bernhard Schätz. Special Section on Formal Methods for Industrial Critical Systems (Selected Papers from FMICS'11). Gwen Salaün; Bernhard Schätz. France. 80(A), Elsevier, 2014, Science of Computer Programming, 〈10.1016/j.scico.2013.01.008〉. 〈hal-00919803〉

Share

Metrics

Record views

426

Document downloads

345