A methodology for formal analysis and verification of EAST-ADL models

Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schobbens, Paul Pettersson

Research output: Contribution to journal › Article › peer-review

2 results

Finished
VEREV: Verification of recursive, evolutive, real-time software
Schobbens, P. Y. & KANG, E.
1/02/11 → 31/01/12
Project: Research
VLPL: Software Product Lines Verification
Heymans, P., Schobbens, P. Y., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Project: Research