| Name | Course Type | Name | Credits | ID |
|---|---|---|---|---|
| Erfüllbarkeitsüberprüfung | () Vorlesung/Übung | Erfüllbarkeitsüberprüfung | 485197 | |
| Formale Methoden für Steuerungssoftware | () Vorlesung/Übung | Formale Methoden für Steuerungssoftware | 6 | 483886 |
| Formale Grundlagen von UML | () Vorlesung | Theoretical Foundations of the UML (FUML) | 6 | 495719 |
| () Übung | Theoretical Foundations of the UML (FUML) | 0 | 495718 |