Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Date de debut de thèse: 1 octobre 2018 Date soutenance de thèse: 1 octobre 2020 Encadrant : Frédéric PESCHANSKI (LIP6) Directeur de thèse: Emmanuel CHAILLOUX (LIP6) Sujet de thèse: Méthodes formelles et langages de haut niveau pour logiciels embarqués
Date de debut de thèse: 1 octobre 2018 Date soutenance de thèse: 1 octobre 2020 Encadrant : Frédéric PESCHANSKI (LIP6) Directeur de thèse: Emmanuel CHAILLOUX (LIP6) Sujet de thèse: Méthodes formelles et langages de haut niveau pour logiciels embarqués