@inproceedings{dhaussy:hal-00517267, TITLE = {{R{\'e}flexion pour un processus de validation de mod{\`e}les logiciels}}, AUTHOR = {Dhaussy, Philippe}, URL = {https://hal.science/hal-00517267}, BOOKTITLE = {{6{\`e}me Journ{\'e}es sur l'Ing{\'e}nierie Dirig{\'e}e par les Mod{\`e}les (IDM'10), Mars 2010, Pau}}, ADDRESS = {France}, PAGES = {Non renseigne}, YEAR = {2010}, HAL_ID = {hal-00517267}, HAL_VERSION = {v1}, }