Project Details

Description

{description_courte}
AcronymTPA
StatusFinished
Effective start/end date1/01/1131/12/14

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • Model checking adaptive software with featured transition systems

    Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 Jan 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Cámara, J., de Lemos, R., Ghezzi , C. & Lopes , A. (eds.). Heidelberg Dordrecht London New York: Springer, Vol. 7740. p. 1-29 29 p. (Lecture Notes in Computer Science).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

    Open Access
    File
    226 Downloads (Pure)
  • ProVeLines: A Product Line of Verifiers for Software Product Lines

    Cordy, M., Classen, A., Heymans, P., Schobbens, P.-Y. & Legay, A., Aug 2013, p. 141 - 146. 6 p.

    Research output: Contribution to conferencePaperpeer-review