Thèse
- 2 résultats
Résultats de recherche
-
Learning Featured Transition Systems
Auteur: Fortz, S., 22 sept. 2023Superviseur: Perrouin, G. (Promoteur), Heymans, P. (Copromoteur), Frénay, B. (Jury), Vanhoof, W. (Jury), Mousavi, M. (Personne externe) (Jury) & ter Beek, M. H. (Personne externe) (Jury)
Student thesis: Doc types › Docteur en Sciences
Fichier -
SAT-Based Concolic Testing in Prolog
Auteur: Fortz, S., 17 juin 2019Superviseur: Vanhoof, W. (Promoteur)
Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering
Fichier