Allgemeine Informationen
| Veranstaltungsname | Vorlesung + Übung: Modellierung, Spezifikation und Verifikation reaktiver Systeme |
| Veranstaltungsnummer | INF-5018 |
| Semester | SS 2025 |
| Aktuelle Anzahl der Teilnehmenden | 9 |
| Heimat-Einrichtung | Softwaretechnik |
| Veranstaltungstyp | Vorlesung + Übung in der Kategorie Lehre |
| Nächster Termin | Montag, 28.04.2025 14:00 - 17:15, Ort: (1055 N) |
| Art/Form | Die Vorlesung und die Übungen finden ersatzweise nur als Aufzeichnung/Materialsammlung statt. |
| Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Ja |
| Hauptunterrichtssprache | deutsch |
| ECTS-Punkte | 6 |
