Course list
| 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.00 Credits for track: 2.00 |
| 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: 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 | 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: 2.50 Credits for track: 2.50 |
| Master | MASTER SECURITE NUMERIQUE [dnm-sec] | s8 | Sciences humaines & sociales [ue_dnm-sec-s8-shs] ECTS: 4.00 |
Approches sociologiques des technologies des télécommunications [SATT] Weight: 2.00 Credits for track: 2.00 |
| Master | MASTER SECURITE NUMERIQUE [dnm-sec] | s8 | Analyse et comprehension des interactions avec les systèmes informatiques [ue_dnm-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 |
| Master | MASTER SECURITE NUMERIQUE [dnm-sec] | s8 | Ouverture [ue_dnm-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 |
