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
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2014

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

Gwen Salaün
  • Fonction : Auteur correspondant
  • PersonId : 880331

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

Résumé

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

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
preface_scp_fmics11.pdf (40.18 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Gwen Salaün  : Connectez-vous pour contacter le contributeur

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

Soumis le : mardi 17 décembre 2013-12:50:52

Dernière modification le : mercredi 18 décembre 2024-09:25:16

Archivage à long terme le : lundi 17 mars 2014-23:11:18

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH
272 Consultations
278 Téléchargements

Altmetric

Partager

More