CTL Model Checking for Software Product Lines in NuSMV

Résultats de recherche: Autre contribution

223 Téléchargements (Pure)
langue originaleAnglais
Etat de la publicationPublié - 2010

Contient cette citation