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

Gwen Salaün; Bernhard Schätz

doi:10.1016/j.scico.2013.01.008

Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2014

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

(1) , (2)

1
2

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

preface_scp_fmics11.pdf (40.18 Ko)

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 : jeudi 4 avril 2024-18:26:30

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

Dates et versions

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

Identifiants

HAL Id : hal-00919803 , version 1
DOI : 10.1016/j.scico.2013.01.008

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

256 Consultations

269 Téléchargements

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

Résumé

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager