Vorlesung + Übung: Modellierung, Spezifikation und Verifikation reaktiver Systeme - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird in Präsenz abgehalten.
Veranstaltungsname |
Vorlesung + Übung: Modellierung, Spezifikation und Verifikation reaktiver Systeme |
Veranstaltungsnummer |
INF-5018 |
Semester
|
SS 2024 |
Aktuelle Anzahl der Teilnehmenden
|
13 |
Heimat-Einrichtung |
Softwaretechnik
|
Veranstaltungstyp |
Vorlesung + Übung in der Kategorie Lehre |
Nächster Termin |
Montag, 13.05.2024 14:00 - 17:15, Ort: (1055 N)
|
Art/Form |
Die Vorlesung und die Übungen finden ersatzweise nur als Aufzeichnung/Materialsammlung statt. |
Online/Digitale Veranstaltung |
Veranstaltung wird in Präsenz abgehalten. |
Hauptunterrichtssprache |
deutsch |
ECTS-Punkte |
6 |
- (1055 N)
-
Montag: 14:00 - 17:15, wöchentlich (13x)
Diese Veranstaltung gehört zum Anmeldeset "Master SE".
Folgende Regeln gelten für die Anmeldung:
-
Folgende Bedingung muss zur Anmeldung erfüllt sein:
Studienfach ist Software Engineering