Special Section on Formal Methods for Industrial Critical Systems (Selected Papers from FMICS'11) - Inria - Institut national de recherche en sciences et technologies du numérique
Books Year : 2014

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

Abstract

This section contains extended versions of selected papers from the 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11).
Fichier principal
Vignette du fichier
preface_scp_fmics11.pdf (40.18 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00919803 , version 1 (17-12-2013)

Identifiers

Cite

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

Altmetric

Share

More