@phdthesis{djafri:tel-00751927, TITLE = {{Numerical and statistical approaches for model checking of stochastic processes}}, AUTHOR = {Djafri, Hilal}, URL = {https://tel.archives-ouvertes.fr/tel-00751927}, NUMBER = {2012DENS0025}, SCHOOL = {{{\'E}cole normale sup{\'e}rieure de Cachan - ENS Cachan}}, YEAR = {2012}, MONTH = Jun, KEYWORDS = {Cha{\^\i}nes de Markov ; Evaluation de la performance ; V{\'e}rification quantitative ; R{\'e}seaux de P{\'e}tri}, TYPE = {Theses}, HAL_ID = {tel-00751927}, HAL_VERSION = {v1}, }