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)

Gwen Salaün
  • Function : Correspondent author
  • PersonId : 880331

Connectez-vous pour contacter l'auteur
Construction of verified concurrent systems
Bernhard Schätz
  • Function : Scientific advisor
Institut für Informatik

Abstract

This section contains extended versions of selected papers from the 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11).

Domains

Software Engineering [cs.SE]
Fichier principal
Vignette du fichier
preface_scp_fmics11.pdf (40.18 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Gwen Salaün  : Connect in order to contact the contributor

https://inria.hal.science/hal-00919803

Submitted on : Tuesday, December 17, 2013-12:50:52 PM

Last modification on : Thursday, April 4, 2024-6:26:30 PM

Long-term archiving on : Monday, March 17, 2014-11:11:18 PM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH
269 View
272 Download

Altmetric

Share

More