@inproceedings{hladik:hal-01331726,
TITLE = {Outillage pour la mod{\'e}lisation, la v{\'e}rification et la g{\'e}n{\'e}ration d'applications temporis{\'e}es et embarqu{\'e}es},
AUTHOR = {Hladik, Pierre-Emmanuel and Dal Zilio, Silvano and Pasquier, Olivier and Pillement, S{\'e}bastien and Berthomieu, Bernard},
URL = {https://hal.science/hal-01331726},
BOOK
TITLE = {15{\`e}mes journ{\'e}es Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels (AFADL)},
ADDRESS = {Besan{\c c}on, France},
HAL_LOCAL_REFERENCE = {Rapport LAAS n{\textdegree} 16182},
YEAR = {2016},
MONTH = Jun, PDF = {https://hal.science/hal-01331726/file/main.pdf},
HAL_ID = {hal-01331726},
HAL_VERSION = {v1},
}