Formal Methods for Industrial Critical Systems: Proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems

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. 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-01272604
Contributeur : Wendelin Serwe <>
Soumis le : jeudi 11 février 2016 - 10:23:07
Dernière modification le : mercredi 11 avril 2018 - 01:53:30

Identifiants

  • HAL Id : hal-01272604, version 1

Collections

Citation

Frédéric Lang, Francesco Flammini. Formal Methods for Industrial Critical Systems: Proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems. France. 2014. 〈hal-01272604〉

Partager

Métriques

Consultations de la notice

335