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

106 Downloads (Pure)

1 Finished

1 results

Filter

Finished

Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines
CORDY, M., HEYMANS, P. & SCHOBBENS, P.
1/10/11 → 30/09/15
Project: PHD