@article{dhaussy:hal-00517282, TITLE = {{Mise en oeuvre de composants MDA pour la validation formelle de mod{\`e}les de syst{\`e}mes d'information embarqu{\'e}s}}, AUTHOR = {Dhaussy, Philippe and Boniol, Fr{\'e}d{\'e}ric}, URL = {https://hal.science/hal-00517282}, NOTE = {NonWOS}, JOURNAL = {{Revue des Sciences et Technologies de l'Information - S{\'e}rie ISI : Ing{\'e}nierie des Syst{\`e}mes d'Information}}, PUBLISHER = {{Lavoisier}}, VOLUME = {12}, NUMBER = {5}, PAGES = {133-157}, YEAR = {2007}, DOI = {10.3166/isi.12.5.133-157}, KEYWORDS = {proof units ; formal checking ; observer ; model transformation}, HAL_ID = {hal-00517282}, HAL_VERSION = {v1}, }