Modélisation et vérification de lignes de produits logiciel

Classen, Andreas (Chercheur)
Heymans, Patrick (Co-investigateur)
Schobbens, Pierre Yves (Co-investigateur)

Projet: Projet de thèse

1 Chapitre (revu par des pairs)
1 Article

1 résultats

Filtrer

Article
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 revue › Article › Revue par des pairs