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
;Dima, CatalinPublication 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 |
