]
]
]
]
Publication
The TVL Specification
| Auteur(s) | Andreas CLASSEN, Quentin BOUCHER, Paul FABER, Patrick HEYMANS |
| Unité(s) de recherche(s) |
Pôle sémantique, logique et calcul
PReCISE Research Center Evolution Model-driven engineering |
| Projet de recherche | Modélisation et vérification de lignes de produits logiciel (Thèse-A-Classen) |
| Année | 2010 |
| Type | Rapports de recherche |
| Langue | Anglais |
| Mots clés | |
| Résumé | |
| Versions électroniques | Fichier PDF |
