Recherche

Derniers sujets de recherche

Sujet de recherche: Formal methods for functional verification of cache-coherent systems-on-chip
Sujet de recherche: Mise en contexte des traces pour une analyse en niveaux d'abstraction

Activité de recherche par année