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 | Opening 2 [PM-Open_2] ECTS: 5.00 |
FormalMethods-Formal specification and verification of systems [FormalMet] Weight: 0.50 Credits for track: 2.50 |
