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
Document type :
Directions of work or proceedings
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
Contributor : Frederic Lang <>
Submitted on : Tuesday, February 9, 2016 - 5:34:31 PM
Last modification on : Friday, January 6, 2017 - 10:30:55 AM

Identifiers

Collections

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〉

Share

Metrics

Consultations de la notice

227