@phdthesis{Nou15,
title = { {Rigorous System-level Modeling and Performance Evaluation for Embedded System Design} },
author = {Nouri, Ayoub},
month = {Apr},
year = {2015},
type = {Theses},
number = {2015},
school = {{Universit{\'e} Grenoble Alpes}},
team = {DCS, RSD},
keywords = {Performance Evaluation ; Statistical Inference ; Formal Methods ; Embedded Systems ; Component-based Design ; Stochastic Systems ; Evaluation de Performance ; Inference Statistique ; M{\'e}thodes Formelles ; Syst{\`e}mes Embarqu{\'e}s ; Approche par Composants ; Syst{\`e}mes Stochastiques},
pdf = {https://tel.archives-ouvertes.fr/tel-01148690/file/NOURI_2015_archivage.pdf},
}
