Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: CEDRIC (Ancien membre EDITE)
Date de debut de thèse: Non disponible Date soutenance de thèse: 4 novembre 2014 Directeur de thèse: Kamel BARKAOUI (CEDRIC) Sujet de thèse: Analyse et vérification des systèmes matériels et logiciels décrits en SystemC au niveau transactionnel.
Date de debut de thèse: Non disponible Date soutenance de thèse: 4 novembre 2014 Directeur de thèse: Kamel BARKAOUI (CEDRIC) Sujet de thèse: Analyse et vérification des systèmes matériels et logiciels décrits en SystemC au niveau transactionnel.