Course list

Period: 2024Spring
Track type Track Semester Cursus Teaching Unit Course
Ingénieur SECURITE NUMERIQUE [eng-sec] s8 Ouverture 2
[EngSecu-S8-Open2]
ECTS: 5.00
Planification des Transports
[PlanTP]
Weight: 0.50
Credits for track: 2.50
Ingénieur SECURITE NUMERIQUE [eng-sec] s8 Ouverture 2
[EngSecu-S8-Open2]
ECTS: 5.00
Formal/methods-Spécification et Vérification formelles des systèmes
[FormalMet]
Weight: 0.50
Credits for track: 2.50
Ingénieur SECURITE NUMERIQUE [eng-sec] s8 Analyse et comprehension des interactions avec les systèmes informatiques
[EngSecu-Analysis]
ECTS: 10.00
Formal/methods-Spécification et Vérification formelles des systèmes
[FormalMet]
Weight: 0.25
Credits for track: 2.50