@phdthesis{solet:tel-03127866,
TITLE = {Syst{\`e}mes embarqu{\'e}s temps r{\'e}el fiables et adaptables},
AUTHOR = {Solet, Dimitry},
URL = {https://hal.science/tel-03127866},
SCHOOL = {UNIVERSITE DE NANTES},
YEAR = {2020},
MONTH = Nov, KEYWORDS = {Runtime verification ; Dependability ; Real time embedded system ; V{\'e}rification en ligne ; S{\^u}ret{\'e} de fonctionnement ; Syst{\`e}me embarqu{\'e} temps r{\'e}el},
TYPE = {Theses},
PDF = {https://hal.science/tel-03127866/file/UN_THESE_SOLET%28IETR%29.pdf},
HAL_ID = {tel-03127866},
HAL_VERSION = {v1},
}