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

https://hal.inria.fr/hal-01272604
Contributor : Wendelin Serwe <>
Submitted on : Thursday, February 11, 2016 - 10:23:07 AM
Last modification on : Wednesday, July 20, 2016 - 1:05:01 AM

Identifiers

  • 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>

Share

Metrics

Consultations de la notice

256