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