Projets par an
| langue originale | Anglais |
|---|---|
| Etat de la publication | Publié - 2011 |
Projets
- 1 Terminé
Simulation-Based Abstractions for Software Product-Line Model Checking
Maxime Cordy, Andreas Classen, Gilles Perrouin, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
Résultats de recherche: Autre contribution
94
Téléchargements
(Pure)