Résultat de recherche par an
Résultat de recherche par an
Détails du projet
Description
{description_courte}
| Acronyme | Thèse-A-Classen |
|---|---|
| statut | Fini |
| Les dates de début/date réelle | 1/10/07 → 1/10/11 |
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.
-
A Decade of Featured Transition Systems
Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P.-Y. & Raskin, J.-F., oct. 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11865 LNCS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre (revu par des pairs) › Revue par des pairs
Accès ouvertFile111 Téléchargements (Pure) -
Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking
Classen, A., Cordy, M., Schobbens, P.-Y., Heymans, P., Legay, A. & Raskin, J.-F., 1 janv. 2013, Dans: IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs