Course list
| Track type | Track | Semester | Cursus | Teaching Unit | Course |
|---|---|---|---|---|---|
| Engineer | DIGITAL SECURITY [eng-sec] | s8 | Opening 2 [EngSecu-S8-Open2] ECTS: 5.00 |
FormalMethods-Formal specification and verification of systems [FormalMet] Weight: 0.50 Credits for track: 2.50 |
|
| Engineer | DIGITAL SECURITY [eng-sec] | s8 | Analysis and Design of Computer Systems Interfaces [EngSecu-Analysis] ECTS: 10.00 |
FormalMethods-Formal specification and verification of systems [FormalMet] Weight: 0.25 Credits for track: 2.50 |
|
| 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 |
|
| 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 |
