Fiche de DIDIER Keryan

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 Numéro PRD: 4440