Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2014
Wendelin Serwe : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01272604
Soumis le : jeudi 11 février 2016-10:23:07
Dernière modification le : mercredi 18 décembre 2024-09:23:48
Dates et versions
Identifiants
- HAL Id : hal-01272604 , version 1
Citer
Frédéric Lang, Francesco Flammini (Dir.). Formal Methods for Industrial Critical Systems. 2014. ⟨hal-01272604⟩
199
Consultations
0
Téléchargements