Formal Methods for Industrial Critical Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2014

Formal Methods for Industrial Critical Systems

Frédéric Lang
Francesco Flammini
  • Fonction : Directeur scientifique
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01272604 , version 1

Citer

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⟩
184 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More