Vorlesung + Übung: Modellierung, Spezifikation und Verifikation reaktiver Systeme - Details

Vorlesung + Übung: Modellierung, Spezifikation und Verifikation reaktiver Systeme - Details

You are not logged into Stud.IP.

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

Rooms and times

(1055 N)
Monday: 14:00 - 17:15, weekly (13x)

Admission settings

The course is part of admission "Master SE".
The following rules apply for the admission:
  • The following conditions must be met for enrolment:
    Subject is Software Engineering