A Decade of Featured Transition Systems

Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

83 Downloads (Pure)

3 results

Finished
Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines
CORDY, M., Heymans, P. & Schobbens, P. Y.
1/10/11 → 30/09/15
Project: PHD
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X., Heymans, P., Schobbens, P. Y. & Perrouin, G.
1/09/11 → 30/08/17
Project: PHD
Thèse-A-Classen: Modelling and Model Checking Variability-Intensive Systems
Classen, A., Heymans, P. & Schobbens, P. Y.
1/10/07 → 1/10/11
Project: PHD