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 2021
Current number of participants 15
Home institute Softwaretechnik
Courses type Vorlesung + Übung in category Teaching
Next date Mon , 17.05.2021 14:00 - 17:00
Online/Digitale Veranstaltung Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache deutsch
ECTS points 6

Course location / Course dates

n.a Monday: 14:00 - 17:00, weekly

Module assignments

Admission settings

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