Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications

Projet: Recherche

Détails du projet

Description

{description_courte}
AcronymeMoVES
statutFini
Les dates de début/date réelle1/01/0731/12/11

Résultat de recherche

Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking

Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F., 1 janv. 2013, Dans : IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.

Résultats de recherche: Contribution à un journal/une revueArticle