%0 Conference Paper %F Oral %T Description d'un modèle de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèles %+ Développement des Technologies Nouvelles (DTN) %A Amar, Bastien %A Dhaussy, Philippe %A Le Blanc, Hervé %A Coulette, Bernard %< avec comité de lecture %B Revue Génie logiciel %C France %8 2008 %D 2008 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G French %L hal-00517278 %U https://hal.science/hal-00517278 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN