Digicampus
Vorlesung + Übung: Modellierung, Spezifikation und Verifikation reaktiver Systeme - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird in Präsenz abgehalten.

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
Next date Monday, 27.05.2024 14:00 - 17:15, Room: (1055 N)
Type/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 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