@inproceedings{berard:hal-01578297, TITLE = {{Une s{\'e}mantique formelle pour les mod{\`e}les Simulink}}, AUTHOR = {B{\'e}rard, B{\'e}atrice and Duplouy, Yann and Haddad, Serge}, URL = {https://hal.science/hal-01578297}, BOOKTITLE = {{{\'E}cole d'{\'e}t{\'e} Temps R{\'e}el 2017}}, ADDRESS = {Paris, France}, HAL_LOCAL_REFERENCE = {SVA}, YEAR = {2017}, MONTH = Aug, PDF = {https://hal.science/hal-01578297/file/ETR17-paper.pdf}, HAL_ID = {hal-01578297}, HAL_VERSION = {v1}, }