par Mazzocchi, Nicolas 
Président du jury Massart, Thierry
Promoteur Filiot, Emmanuel
Co-Promoteur Raskin, Jean-François
Publication Non publié, 2020-10-09

Président du jury Massart, Thierry

Promoteur Filiot, Emmanuel

Co-Promoteur Raskin, Jean-François

Publication Non publié, 2020-10-09
Thèse de doctorat
Titre: |
|
Auteur: | Mazzocchi, Nicolas |
Président du jury: | Massart, Thierry |
Promoteur: | Filiot, Emmanuel |
Co-Promoteur: | Raskin, Jean-François |
Membre du jury: | Sankaranarayanan, Sriram; Reynier, Pierre-Alain |
Informations sur la publication: | Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles |
Date de défense: | 2020-10-09 |
Sujet CREF: | Informatique mathématique |
Mots-clés: | Formal methods |
Quantitative verification | |
Weighted automata | |
Logic for automata | |
Intitulé du diplôme: | Doctorat en Sciences |
Langue: | Anglais |
Anneé académique: | 2020-2021 |