Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

Maxime Cordy, Pierre Yves Schobbens, Patrick Heymans, Axel Legay

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

127 Downloads (Pure)

1 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