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

Gwen Salaün 1, * Bernhard Schätz 2
* Auteur correspondant
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This section contains extended versions of selected papers from the 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11).
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Gwen Salaün; Bernhard Schätz. France. 80(A), Elsevier, 2014, Science of Computer Programming, 〈10.1016/j.scico.2013.01.008〉
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00919803
Contributeur : Gwen Salaün <>
Soumis le : mardi 17 décembre 2013 - 12:50:52
Dernière modification le : mercredi 11 avril 2018 - 01:54:17
Document(s) archivé(s) le : lundi 17 mars 2014 - 23:11:18

Fichier

preface_scp_fmics11.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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

Partager

Métriques

Consultations de la notice

472

Téléchargements de fichiers

391