langue originale | Anglais |
---|---|
Etat de la publication | Publié - 2010 |
CTL Model Checking for Software Product Lines in NuSMV
Andreas Classen
Résultats de recherche: Autre contribution
4065
Téléchargements
(Pure)