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