Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: LTCI (Ancien membre EDITE)
Date de debut de thèse: Non disponible Date soutenance de thèse: 17 mars 2021 Directeur de thèse: Renaud PACALET (LTCI (EDMH)) Sujet de thèse: Modeling and Formal Verification of Power Management for the Design of Systems-on-Chip
Date de debut de thèse: Non disponible Date soutenance de thèse: 17 mars 2021 Directeur de thèse: Renaud PACALET (LTCI (EDMH)) Sujet de thèse: Modeling and Formal Verification of Power Management for the Design of Systems-on-Chip