Formal Methods for Industrial Critical Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2014

Formal Methods for Industrial Critical Systems

Frédéric Lang
Francesco Flammini
  • Function : Scientific advisor
No file

Dates and versions

hal-01272604 , version 1 (11-02-2016)

Identifiers

  • HAL Id : hal-01272604 , version 1

Cite

Frédéric Lang, Francesco Flammini (Dir.). Formal Methods for Industrial Critical Systems: Proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems. 2014. ⟨hal-01272604⟩
186 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More