Course list

Period: 2023Spring
Track type Track Semester Teaching Unit Course
Ingénieur de Spécialisation Diplôme d'Ingénieur de spécialisation en Sécurité des Systèmes Informatiques et des Communications [spe-sec] s12 Sciences humaines & sociales
[ue_spe-sec-s12-shs]
ECTS: 4.00
Approches sociologiques des technologies des télécommunications
[SATT]
Weight: 2.50
Credits for track: 2.50
Ingénieur de Spécialisation Diplôme d'Ingénieur de spécialisation en Sécurité des Systèmes Informatiques et des Communications [spe-sec] s12 Ouverture
[ue_spe-sec-s12-open]
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 de Spécialisation Diplôme d'Ingénieur de spécialisation en Sécurité des Systèmes Informatiques et des Communications [spe-sec] s12 Contexte Applicatif de la Sécurité _II
[ue_spe-sec-s12-pers]
ECTS: 7.50
Formal/methods-Spécification et Vérification formelles des systèmes
[FormalMet]
Weight: 0.34
Credits for track: 2.50
Master MASTER SECURITE NUMERIQUE [dnm-sec] s8 Sciences humaines et Sociales 2
[ueco-dnm-all-s8-hum2]
ECTS: 4.00
Approches sociologiques des technologies des télécommunications
[SATT]
Weight: 0.50
Credits for track: 2.00
Master MASTER SECURITE NUMERIQUE [dnm-sec] s8 Ouverture scientifique et Technique 2
[dnmcomputer-sec-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
Master MASTER SECURITE NUMERIQUE [dnm-sec] s8 Outils mathématiques et Sciences du Web
[ueco_dnmcomputer-s8-math]
ECTS: 10.00
Formal/methods-Spécification et Vérification formelles des systèmes
[FormalMet]
Weight: 0.25
Credits for track: 2.50