Vorlesung + Übung: Modellierung, Spezifikation und Verifikation reaktiver Systeme - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird online/digital abgehalten.
| Course name |
Vorlesung + Übung: Modellierung, Spezifikation und Verifikation reaktiver Systeme |
| 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.
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
