Titre du mémoire : Outils de codesign pour la vérification de partitionnement par hyperviseur sur système embarqué matériel-logiciel de criticalités mixtes
Présenté par : Fabien Portas
Programme : Génie informatique et génie logiciel
Département : Dép. de génie informatique et génie logiciel

Jury

Président : Tarek Ould-Bachir
Directeur de recherche : Guy Bois
Codirecteur de recherche : Yvon Savaria
Membre : Michel Dagenais

Entrée libre
Bienvenue à tous!