@inproceedings{dhaussy:hal-00517289, TITLE = {{Exp{\'e}rimentation d'une technique de v{\'e}rification formelle dans le cadre d'un processus d'Ing{\'e}nierie Dirig{\'e}e par les Mod{\`e}les}}, AUTHOR = {Dhaussy, Philippe and Roger, Jean-Charles}, URL = {https://hal.science/hal-00517289}, BOOKTITLE = {{Journ{\'e}e GDR STRQdS, Syst{\`e}mes embarqu{\'e}s : points de vue industriels et acad{\'e}miques}}, ADDRESS = {Paris, France}, YEAR = {2005}, HAL_ID = {hal-00517289}, HAL_VERSION = {v1}, }