%0 Conference Proceedings %T Réflexion pour un processus de validation de modèles logiciels %+ Développement des Technologies Nouvelles (DTN) %A Dhaussy, Philippe %F Invité %< avec comité de lecture %B 6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau %C France %P Non renseigne %8 2010 %D 2010 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G French %L hal-00517267 %U https://hal.science/hal-00517267 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN