@phdthesis{besnard:tel-03371484, TITLE = {{EMI - Une approche pour unifier l'analyse et l'ex{\'e}cution embarqu{\'e}e {\`a} l'aide d'un interpr{\'e}teur de mod{\`e}les pilotable : application aux mod{\`e}les UML des syst{\`e}mes embarqu{\'e}s}}, AUTHOR = {Besnard, Valentin}, URL = {https://theses.hal.science/tel-03371484}, NUMBER = {2020ENTA0007}, SCHOOL = {{ENSTA Bretagne - {\'E}cole nationale sup{\'e}rieure de techniques avanc{\'e}es Bretagne}}, YEAR = {2020}, MONTH = Dec, KEYWORDS = {Interpretation ; Formal verification ; Model-driven engineering ; Embedded systems ; Interpr{\'e}tation ; V{\'e}rification formelle ; Ing{\'e}nierie dirig{\'e}e par les mod{\`e}les ; Syst{\`e}mes embarqu{\'e}s}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-03371484/file/2020_valentin_besnard.pdf}, HAL_ID = {tel-03371484}, HAL_VERSION = {v1}, }