Course list
| Track type | Track | Semester | Cursus | Teaching Unit | Course |
|---|---|---|---|---|---|
| Other | 6 and 12 months cursus [shortcursus] | s8 | FormalMethods-Formal specification and verification of systems [FormalMet] Weight: N/A Credits for track: 2.50 |
||
| 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 INTELLIGENT COMMUNICATION SYSTEMS [dnm-com] | s8 | 24 | Scientific and technical opening 2 [DnmICS-S8-Open2] ECTS: 5.00 |
FormalMethods-Formal specification and verification of systems [FormalMet] Weight: 0.50 Credits for track: 2.50 |
