Course list
| Track type | Track | Semester | Cursus | Teaching Unit | Course |
|---|---|---|---|---|---|
| Master | MASTER INTELLIGENT COMMUNICATION SYSTEMS [dnm-com] | s8 | 18 | Scientific and technical opening 2 [DD18-DnmICS-S8-Open2] ECTS: 5.00 |
FormalMethods-Formal specification and verification of systems [FormalMet] Weight: 0.50 Credits for track: 2.50 |
| Master | MASTER INTERNET OF THINGS [dnm-iot] | s8 | 24 | Scientific and technical opening 2 [DnmIOT-S8-Open2] ECTS: 5.00 |
FormalMethods-Formal specification and verification of systems [FormalMet] Weight: 0.50 Credits for track: 2.50 |
| Master | MASTER INTERNET OF THINGS [dnm-iot] | s8 | 18 | Scientific and technical opening 2 [DD18-DnmIOT-S8-Open2] 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 | Opening 2 [PM-Open_2] ECTS: 5.00 |
FormalMethods-Formal specification and verification of systems [FormalMet] Weight: 0.50 Credits for track: 2.50 |
| Track type | Track | Semester | Cursus | Teaching Unit | Course |
|---|---|---|---|---|---|
| Post Master Degree | Post Master Degree in Security for Computer and communication systems [spe-sec] | s11 | Opening 1 [PM-Open_1] ECTS: 5.00 |
Basics on reinforcement learning [ReLearn] Weight: 0.50 Credits for track: 2.50 |
|
| Post Master Degree | Post Master Degree in Security for Computer and communication systems [spe-sec] | s13 | 24 | free courses for Post Master [PM_free_courses] ECTS: 30.00 |
Basics on reinforcement learning [ReLearn] Weight: N/A Credits for track: 2.50 |
