@phdthesis{vu:tel-03171880,
TITLE = {Fast and Accurate Performance Models for Probabilistic Timing Analysis of SDFGs on MPSoCs},
AUTHOR = {Vu, Hai-Dang},
URL = {https://hal.science/tel-03171880},
SCHOOL = {Universit{\'e} de Nantes},
YEAR = {2021},
MONTH = Mar, KEYWORDS = {High-level probabilistic modeling ; Timing Analysis ; Statistical Model Checking ; MPSoC ; Mod{\'e}lisation probabiliste haut niveau ; Analyse temporelle ; Mod{\`e}le Checking Statistique ; MPSoC},
TYPE = {Theses},
PDF = {https://hal.science/tel-03171880/file/UN_THESE_VU%28IETR%29.pdf},
HAL_ID = {tel-03171880},
HAL_VERSION = {v1},
}