Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking

A. Classen, M. Cordy, P.-Y. Schobbens, P. Heymans, A. Legay, J.-F. Raskin

Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

1 résultats
- Titre(par ordre croissant)
- Date d'attribution

Modelling and model checking variability-intensive systems
Auteur: Classen, A., 3 oct. 2011
Superviseur: Heymans, P. (Promoteur), Schobbens, P. (Copromoteur), Jacquet, J. (Jury), Habra, N. (Personne externe) (Jury), PECHEUR, C. (Personne externe) (Jury), Nuseibeh, B. (Personne externe) (Jury) & KATOEN, J. (Personne externe) (Jury)
Student thesis: Doc types › Docteur en Sciences

Fichier