Projet de recherche doctoral numero :3066

Description

Date depot: 1 janvier 1900
Titre: Analyse et vérification des systèmes matériels et logiciels décrits en SystemC au niveau transactionnel.
Directeur de thèse: Kamel BARKAOUI (CEDRIC)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini

Resumé: Analyse et vérification des systèmes matériels et logiciels décrits en SystemC au niveau transactionnel.

Doctorant.e: Harrath Nesrine