Modélisation et vérification de systèmes réactifs
TP Vérification logicielle
Vérification matérielle
UE Conception de systèmes numériques