Introduction to modeling and verification of digital systems - WMM8U05

Informations générales

  • Volumes horaires

    • CM 18.0
    • Projet -
    • TD -
    • Stage -
    • TP 15.0
    • DS -

    Crédits ECTS

    Crédits ECTS 3.0

Responsable(s)

Laurence PIERRE

Contrôle des connaissances

Evaluation : 40% de Examen(s) écrit(s) + TP et 60% de Examen écrit (2h)

Rattrapage : 40% de Examen(s) écrit(s) + TP (note reportée) et 60% de Examen écrit (2h)

L'examen existe uniquement en anglais

Calendrier

Le cours est programmé dans ces filières :

  • Parcours de master - Master Informatique - Semestre 8 (ce cours est donné uniquement en anglais)
cf. l'emploi du temps 2026/2027

Informations complémentaires

Code de l'enseignement : WMM8U05
Langue(s) d'enseignement : FR

Vous pouvez retrouver ce cours dans la liste de tous les cours.