Thesis
- 2 results
Search results
-
Model checking for the Masses
Author: Cordy, M., 11 Sept 2014Supervisor: Heymans, P. (Supervisor), Schobbens, P. (Supervisor), Petit, M. (Jury), ATLEE, J. (External person) (Jury), Greenyer, J. (External person) (Jury) & Legay, A. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences
-
Development of a quasi-birth-and-death sensitivity analysis tool
Author: Cordy, M., 2011Supervisor: Remiche, M. (Supervisor)
Student thesis: Master types › Master in Computer science
File