Thèse de doctorat
Titre :
  • Synthèse des systèmes réactifs interactifs
Auteur : Bozianu, Rodica
Pourvoyeur de diplôme : Universite Libre de Bruxelles
Président du jury : Raskin, Jean-François
Membre du jury : Kupferman, Orna ; Varacca, Daniele ; Bouyer, Patricia
Promoteur : Filiot, Emmanuel ; Dima, Catalin
Editeur : Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles
Date de défense :
  • 2016-12-12
Sujet CREF : Informatique mathématique
Informatique générale
Mots-clés : synthèse
jeux
systèmes réactifs
logiques
Intitulé du diplôme :
  • Doctorat en Sciences
Note : info:eu-repo/semantics/nonPublished
Langue :
  • Anglais