Identifiant pérenne de la notice : 284177113
Notice de type
Personne
Modélisation formelle pour tester l'isolation des ressources dans un système-sur-puce
/ Philippe Ledent ; sous la direction de Radu Mateescu, co-encadré par Wendelin Bernhard
Serwe et Hajer Ferjani. Thèse de doctorat : Informatique : Université Grenoble Alpes
: 2024