Course list
Track type | Track | Semester | Cursus | Teaching Unit | Course |
---|---|---|---|---|---|
Ingénieur de Spécialisation | Diplôme d'Ingénieur de spécialisation en sécurité pour les systèmes informatiques et les communications [spe-sec] | s12 | Ouverture 2 [PM-Open_2] ECTS: 5.00 |
Formal/methods-Spécification et Vérification formelles des systèmes [FormalMet] Weight: 0.50 Credits for track: 2.50 |