Course list
| Track type | Track | Semester | Cursus | Teaching Unit | Course |
|---|---|---|---|---|---|
| Post Master Degree | Post Master Degree in Security for Computer and communication systems [spe-sec] | s12 | Application context of security _II [PM-App2] ECTS: 7.50 |
FormalMethods-Formal specification and verification of systems [FormalMet] Weight: 0.34 Credits for track: 2.50 |
