Search results

• Development of a quasi-birth-and-death sensitivity analysis tool

  Cordy, M. (Author), Remiche, M.-A. (Supervisor), 2011

  Student thesis: Master types › Master in Computer science

  File

• Model checking for the Masses

  Cordy, M. (Author), Heymans, P. (Supervisor), Schobbens, P.-Y. (Supervisor), Petit, M. (Jury), ATLEE, J. (Jury), Greenyer, J. (Jury) & Legay, A. (Jury), 11 Sept 2014

  Student thesis: Doc types › Doctor of Sciences