CTL Model Checking for Software Product Lines in NuSMV

Andreas Classen

Résultats de recherche: Autre contribution

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

Contient cette citation