Model checking for the Masses

Student thesis: Doc types › Doctor of Sciences

Date of Award11 Sept 2014
Original languageEnglish
Awarding Institution
  • University of Namur
SupervisorPatrick Heymans (Supervisor), Pierre Yves Schobbens (Supervisor), Michael Petit (Jury), J. ATLEE (Jury), Joel Greenyer (Jury) & Axel Legay (Jury)

Cite this

'