@inproceedings{amar:hal-00517278, TITLE = {{Description d'un mod{\`e}le de tra{\c c}abilit{\'e} pour la mise en oeuvre d'une technique de validation formelle de mod{\`e}les}}, AUTHOR = {Amar, Bastien and Dhaussy, Philippe and Le Blanc, Herv{\'e} and Coulette, Bernard}, URL = {https://hal.science/hal-00517278}, BOOKTITLE = {{Revue G{\'e}nie logiciel}}, ADDRESS = {France}, YEAR = {2008}, HAL_ID = {hal-00517278}, HAL_VERSION = {v1}, }