SNIP: An Efficient Model Checker for Software Product Lines

Andreas Classen
, Maxime Cordy
, Patrick Heymans
, Pierre-Yves Schobbens
, Axel Legay

Résultats de recherche: Autre contribution

347 Téléchargements (Pure)

1 résultats

Terminé
Evolution: PReCISE Evolution
Cleve, A. (Responsable du Projet)
1/01/10 → 31/01/10
Projet: Axe de recherche