Core Subjects Theoretical Foundations of SSE
| Name | Course Type | Name | Credits | ID |
|---|
| Erfüllbarkeitsüberprüfung | () Vorlesung/Übung | Erfüllbarkeitsüberprüfung | | 459420 |
| Formale Methoden für Steuerungssoftware | () Vorlesung/Übung | Formale Methoden für Steuerungssoftware | 6 | 458057 |