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 : jeudi 4 avril 2024-18:25:41
Dates et versions
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