Thesis title: Outils de codesign pour la vérification de partitionnement par hyperviseur sur système embarqué matériel-logiciel de criticalités mixtes Presented by: Fabien Portas Program: Computer Engineering and Software Engineering Department: Dép. de génie informatique et génie logiciel
Jury
President: Tarek Ould-Bachir Research Director: Guy Bois Research Co-Director: Yvon Savaria Member: Michel Dagenais