Projets par an
| langue originale | Anglais |
|---|---|
| Etat de la publication | Publié - 2011 |
Projets
- 1 Terminé
-
Evolution: PReCISE Evolution
Cleve, A. (Responsable du Projet)
1/01/10 → 31/01/10
Projet: Axe de recherche
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
295
Téléchargements
(Pure)