Abderahman Kriouile
Ph.D. Université Grenoble Alpes 2015
Dissertation:
Formal methods for functional verification of cache-coherent systems-on-chip
Advisor 1: Radu Mateescu
Advisor 2: Wendelin Bernhard Serwe
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 305751 for the advisor ID.