Communication Dans Un Congrès
Année : 2012
Fabrice Bouquet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00762079
Soumis le : jeudi 6 décembre 2012-14:03:48
Dernière modification le : lundi 11 septembre 2023-17:41:18
Dates et versions
Identifiants
- HAL Id : hal-00762079 , version 1
Citer
Elizabeta Fourneret, Fabrice Bouquet, Martin Ochoa, Jan Jürjens, Sven Wenzel. Vérification et Test pour des systèmes évolutifs. AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.150--164. ⟨hal-00762079⟩
Collections
128
Consultations
0
Téléchargements