4 of 4 courses
| Erfüllbarkeitsüberprüfung | Erfüllbarkeitsüberprüfung | Vorlesung/Übung | ×13Mo 08:30-10:00AH III (2350|314.1)×12Di 10:30-11:15AH VI (2356|051)×13Fr 08:30-10:00AH II (2350|111) | |
| Formale Methoden für Steuerungssoftware | Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 6 | ×14Di 14:30-16:00AH III (2350|314.1)×13Fr 10:30-12:00AH III (2350|314.1) |
| Formale Grundlagen von UML | Theoretical Foundations of the UML (FUML) | Vorlesung | 6 | ×9Di 10:30-12:00AH III (2350|314.1)×13Do 10:30-12:00AH I (2350|028) |
| Theoretical Foundations of the UML (FUML) | Übung | 0 | ×9Do 08:30-10:00AH I (2350|028) |