Abderahman Kriouile
Original record- Institution
- Université Grenoble Alpes
- Year
- 2015
- Country
- France
- MGP identifier
- 305751
Dissertation: Formal methods for functional verification of cache-coherent systems-on-chip
Advisors 2
- Wendelin Bernhard SerweInstitut National Polytechnique de Grenoble (INPG) · 2002
- Radu MateescuInstitution not recorded
Students 0
No students recorded in this snapshot.