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 Access content directly
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⟩
258 View
269 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More