Théorie et Pratique des Automates et des Logiques

Schobbens, Pierre Yves (Responsable du Projet)
CORDY, MAXIME (Chercheur)
KANG, Eun-Young (Chercheur)
Ortiz Vega, James Jerson (Chercheur)

Projet: Recherche

1 Chapitre
1 Papier

1 résultats

Filtrer

2013
ProVeLines: A Product Line of Verifiers for Software Product Lines
Cordy, M., Classen, A., Heymans, P., Schobbens, P.-Y. & Legay, A., août 2013, p. 141 - 146. 6 p.
Résultats de recherche: Contribution à un événement scientifique (non publié) › Papier › Revue par des pairs