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

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

Lecturers

• Prof.Dr. Alexander Knapp
• Dr. Dominik Haneberg

Rooms and times

(1055 N)

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

Fields of study

• Elitestudiengänge
• Fakultät für Angewandte Informatik > Informatik

Module assignments

• Software Engineering Elitestudiengang Software Engineering, 9. Version valid from SS 2024 > Schwerpunkt Formale Methoden und IT-Sicherheit > INF-5018 - Modellierung, Spezifikation und Verifikation reaktiver Systeme > Modellierung, Spezifikation und Verifikation reaktiver Systeme

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