Student theses
- 1 results
Search results
-
Modelling and model checking variability-intensive systems
Author: Classen, A., 3 Oct 2011Supervisor: Heymans, P. (Supervisor), Schobbens, P. (Co-Supervisor), Jacquet, J. (Jury), Habra, N. (External person) (Jury), PECHEUR, C. (External person) (Jury), Nuseibeh, B. (External person) (Jury) & KATOEN, J. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences
File