Niveau d'étude
BAC +5 (niveau 7)
ECTS
11 crédits
Composante
École d'ingénieur Denis Diderot
Liste des enseignements
Modélisation et spécification
4 créditsMéthodes formelles de vérification
4 créditsAtelier automatique numérique
3 crédits
Dernière mise à jour le 24 février 2025