Model checking adaptive software with featured transition systems

Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre Schobbens

Faculty of Computer Science

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

227 Downloads (Pure)

3 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
VLPL: Software Product Lines Verification
Heymans, P. (PI), Schobbens, P. Y. (PI), Classen, A. (Researcher), CORDY, M. (Researcher), KANG, E.-Y. (Researcher) & Legay, A. (Researcher)
1/01/11 → 1/01/13
Project: Research
TPA: Theory and Practice of Automata and Logics
Schobbens, P. Y. (PI), CORDY, M. (Researcher), KANG, E.-Y. (Researcher) & Ortiz Vega, J. J. (Researcher)
1/01/11 → 31/12/14
Project: Research