An extensible platform for product-line behavioural analysis

Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

157 Downloads (Pure)

1 results

Filter

Finished
Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines
CORDY, M. (Researcher), Heymans, P. (CoI) & Schobbens, P. Y. (CoI)
1/10/11 → 30/09/15
Project: PHD