Knowledge Tree

researcher / Abderahman Kriouile

Abderahman Kriouile

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Formal methods for functional verification of cache-coherent systems-on-chip