Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

Maxime Cordy, Pierre Yves Schobbens, Patrick Heymans, Axel Legay

Faculte d'informatique
Research Center on Information Systems Engineering

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

127 Téléchargements (Pure)

1 résultats

Thesis-M-Cordy: Modélisation et vérification modulaires de lignes de produits logiciels temps réel.
CORDY, M., Heymans, P. & Schobbens, P. Y.
1/10/11 → 30/09/15
Projet: Projet de thèse

Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

Projets

Résultats de recherche

Thesis-M-Cordy: Modélisation et vérification modulaires de lignes de produits logiciels temps réel.