]
]
]
]
Publication
CTL Model Checking for Software Product Lines in NuSMV
| Auteur(s) | Andreas CLASSEN |
| Unité(s) de recherche(s) |
Pôle sémantique, logique et calcul
PReCISE Research Center |
| Projet de recherche | Modélisation et vérification de lignes de produits logiciel (Thèse-A-Classen) |
| Année | 2010 |
| Type | Rapports de recherche |
| Langue | Anglais |
| Mots clés | |
| Résumé | |
| Versions électroniques | Fichier PDF |
