Project

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

Université Sidi Mohammed Ben Abdellah

Period: from 13-02-2021 to 13-02-2024

a vulputate luctus cum sociis natoque penatibus

Manager