Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Directions of work or proceedings

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
Complete list of metadata

https://hal.inria.fr/hal-01272604
Contributor : Wendelin Serwe Connect in order to contact the contributor
Submitted on : Thursday, February 11, 2016 - 10:23:07 AM
Last modification on : Wednesday, July 6, 2022 - 4:22:28 AM

Identifiers

  • HAL Id : hal-01272604, version 1

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

Record views

185