Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)

Frédéric Lang 1 Francesco Flammini 2
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Type de document :
Direction d'ouvrage, Proceedings, Dossier
France. 118, Elsevier, 2016, Special Issue on Formal Methods for Industrial Critical Systems (FMICS'2014), 〈10.1016/j.scico.2016.01.004〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01271895
Contributeur : Frederic Lang <>
Soumis le : mardi 9 février 2016 - 17:34:31
Dernière modification le : mercredi 11 avril 2018 - 01:52:05

Identifiants

Citation

Frédéric Lang, Francesco Flammini. Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014). France. 118, Elsevier, 2016, Special Issue on Formal Methods for Industrial Critical Systems (FMICS'2014), 〈10.1016/j.scico.2016.01.004〉. 〈hal-01271895〉

Partager

Métriques

Consultations de la notice

277