Syllabus
Extrait PDF
index
Description de l'UV C9QFIA-D
Option(s) :
Semestre 9QFIA-Qualité et Fiabilité des Composants et Systèmes
Département(s) :
Électronique
Informatique
Télécommunications
Titre :
MCS - Modélisation comportementale des systèmes, vérification et tests
Responsable(s) d'UV :
HERBRETEAU Frédéric
Crédits ECTS :
5
Modules constitutifs :
IF311
Conception formelle
2.00 CR
IT306
Test du logiciel
2.00 CR
IT334
Formalismes de description de systèmes
1.00 CR
