Portas, F. (2023). Outils de codesign pour la vérification de partitionnement par hyperviseur sur système embarqué matériel-logiciel de criticités mixtes [Mémoire de maîtrise, Polytechnique Montréal]. Accès restreint
