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
Construction of verified concurrent systems
CV
Francesco Flammini
  • Function : Scientific advisor
Ansaldo STS·

Domains

Logic in Computer Science [cs.LO] Programming Languages [cs.PL] Software Engineering [cs.SE]

Wendelin Serwe  : Connect in order to contact the contributor

https://inria.hal.science/hal-01272604

Submitted on : Thursday, February 11, 2016-10:23:07 AM

Last modification on : Thursday, April 4, 2024-6:25:41 PM

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH
184 View
0 Download

Share

Gmail Facebook X LinkedIn More