General information
Course name | Vorlesung + Übung: Modellierung, Spezifikation und Verifikation reaktiver Systeme |
Course number | INF-5018 |
Semester | SS 2024 |
Current number of participants | 13 |
Home institute | Softwaretechnik |
Courses type | Vorlesung + Übung in category Teaching |
First date | Monday, 15.04.2024 14:00 - 17:15, Room: (1055 N) |
Type/Form | Die Vorlesung und die Übungen finden ersatzweise nur als Aufzeichnung/Materialsammlung statt. |
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Yes |
Hauptunterrichtssprache | deutsch |
ECTS points | 6 |