]
]
]
]
Publication
Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines
| Auteur(s) | Andreas CLASSEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY, Jean-François RASKIN |
| Unité(s) de recherche(s) |
PReCISE Research Center
Pôle sémantique, logique et calcul Evolution |
| Projet de recherche | Modélisation et vérification de lignes de produits logiciel (Thèse-A-Classen) Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications (MoVES) |
| Année | 2010 |
| Type | Actes de colloques |
| Langue | Anglais |
| Editeur | ACM |
| Mots clés | |
| Résumé | |
| Versions électroniques | Fichier PDF |
Actes d'un colloque
| Titre ouvrage | 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings |
| Sous-titre | |
| Auteur | |
| Collection | |
| Sous-collection | |
| Numéro volume | |
| Pages | 335 - 344 |
