par Bozianu, Rodica 
Président du jury Raskin, Jean-François
Promoteur Filiot, Emmanuel
;Dima, Catalin
Publication Non publié, 2016-12-12

Président du jury Raskin, Jean-François

Promoteur Filiot, Emmanuel

Publication Non publié, 2016-12-12
Thèse de doctorat
Titre: |
|
Auteur: | Bozianu, Rodica |
Président du jury: | Raskin, Jean-François |
Promoteur: | Filiot, Emmanuel; Dima, Catalin |
Membre du jury: | Kupferman, Orna; Varacca, Daniele; Bouyer, Patricia |
Informations sur la publication: | 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 |
Langue: | Anglais |
Anneé académique: | 2016-2017 |
Institution de co-tutelle: | Université Paris-Est, Faculté des Sciences et Technologie, LACL, Département d’Informatique - Doctorat en Sciences |