Thèse
- 2 résultats
Résultats de recherche
-
Development of a quasi-birth-and-death sensitivity analysis tool
Cordy, M. (Auteur)Remiche, M.-A. (Promoteur), 2011Student thesis: Master types › Master en sciences informatiques
Fichier -
Model checking for the Masses
Cordy, M. (Auteur)Heymans, P. (Promoteur), Schobbens, P.-Y. (Promoteur), Petit, M. (Jury), ATLEE, J. (Jury), Greenyer, J. (Jury) & Legay, A. (Jury), 11 sept. 2014Student thesis: Doc types › Docteur en Sciences