Communication Dans Un Congrès
Année :
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517278
Soumis le : mardi 14 septembre 2010-09:17:47
Dernière modification le : lundi 14 mars 2022-11:08:06
Dates et versions
Identifiants
- HAL Id : hal-00517278 , version 1
Citer
Bastien Amar, Philippe Dhaussy, Hervé Le Blanc, Bernard Coulette. Description d'un modèle de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèles. Revue Génie logiciel, 2008, France. ⟨hal-00517278⟩
Collections
53
Consultations
0
Téléchargements