Digicampus
Vorlesung + Übung: Modellierung, Spezifikation und Verifikation reaktiver Systeme - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird online/digital abgehalten.

General information

Course number INF-5018
Semester SS 2022
Current number of participants 7
Home institute Softwaretechnik
Courses type Vorlesung + Übung in category Teaching
Type/Form Die Vorlesung und die Übungen finden ersatzweise nur als Aufzeichnung/Materialsammlung statt.
Online/Digitale Veranstaltung Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache deutsch
ECTS points 6

Course location / Course dates

Die Vorlesung und die Übungen finden ersatzweise nur als Aufzeichnung/Materialsammlung statt.

Module assignments

Admission settings

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