Détails du projet
Description
{description_courte}
| Acronyme | TPA |
|---|---|
| statut | Fini |
| Les dates de début/date réelle | 1/01/11 → 31/12/14 |
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.
-
Model checking adaptive software with featured transition systems
Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 janv. 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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre
Accès ouvertFile255 Téléchargements (Pure) -
ProVeLines: A Product Line of Verifiers for Software Product Lines
Cordy, M., Classen, A., Heymans, P., Schobbens, P.-Y. & Legay, A., août 2013, p. 141 - 146. 6 p.Résultats de recherche: Contribution à un événement scientifique (non publié) › Papier › Revue par des pairs