Projets par an
| langue originale | Anglais |
|---|---|
| Etat de la publication | Non publié - 2012 |
Projets
- 1 Terminé
Modelling and Model Checking Variability-Intensive Systems with Featured Transition Systems (submitted)
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Maxime Cordy, Axel Legay, Jean-François Raskin
Résultats de recherche: Autre contribution