Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: Inria-Paris (ED-130)
Date de debut de thèse: 1 octobre 2016 Date soutenance de thèse: 19 septembre 2019 Directeur de thèse: Dumitru POTOP-BUTUCARU (Inria-Paris (ED-130)) Sujet de thèse: Formal certification of real-time implementations
Date de debut de thèse: 1 octobre 2016 Date soutenance de thèse: 19 septembre 2019 Directeur de thèse: Dumitru POTOP-BUTUCARU (Inria-Paris (ED-130)) Sujet de thèse: Formal certification of real-time implementations