Courses in master studies
| Code | Course name |
|---|---|
| MIE-FME.16 | Formal Methods and Specifications |
| MI-FME.16 | Formal Methods and Specifications |
| NI-TES | Systems Theory |
| NI-FME | Formal Methods and Specifications |
| NIE-TES | Systems Theory |
| NIE-FME | Formal Methods and Specifications |
Courses in doctoral studies
| Code | Course name |
|---|---|
| PI-CFR | Computer Assisted Formal Reasoning |