Course list

Period: 2022Spring
Track type Track Semester Teaching Unit Course
Ingénieur SECURITE NUMERIQUE [eng-sec] s8 Analyse et comprehension des interactions avec les systèmes informatiques
[ue_eng-sec-s8-ana]
ECTS: 10.00
Formal/methods-Spécification et Vérification formelles des systèmes
[FormalMet]
Weight: 2.50
Credits for track: 2.50
Ingénieur SECURITE NUMERIQUE [eng-sec] s8 Ouverture
[ue_eng-sec-s8-open]
ECTS: 5.00
Formal/methods-Spécification et Vérification formelles des systèmes
[FormalMet]
Weight: 2.50
Credits for track: 2.50
Period: 2022Fall
Track type Track Semester Teaching Unit Course
Ingénieur SECURITE NUMERIQUE [eng-sec] s9 Ouverture
[ue_eng-sec-s9-open]
ECTS: 7.50
Apprentissage automatique et systèmes intelligents
[MALIS]
Weight: 5.00
Credits for track: 5.00