Résultats de recherche

• Learning Featured Transition Systems

  Fortz, S. (Auteur)Perrouin, G. (Promoteur), Heymans, P. (Copromoteur), Frénay, B. (Jury), Vanhoof, W. (Jury), Mousavi, M. (Jury) & ter Beek, M. H. (Jury), 22 sept. 2023

  Student thesis: Doc types › Docteur en Sciences

  Fichier

• SAT-Based Concolic Testing in Prolog

  Fortz, S. (Auteur)Vanhoof, W. (Promoteur), 17 juin 2019

  Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering

  Fichier