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