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

  • Detaillierte Informationen über die Veranstaltung werden angezeigt, wie z.B. die Veranstaltungsnummer, Zuordnungen, DozentInnen, TutorInnen etc. In den Detail-Informationen ist unter Aktionen das Eintragen in eine Veranstaltung möglich.

  • link-extern Further help
You are not logged in.

Lehrveranstaltung wird online/digital abgehalten. Online/Digitale Veranstaltung Modellierung, Spezifikation und Verifikation reaktiver Systeme

General information

Course number INF-5018
Semester SS 2020
Home institute Softwaretechnik
Courses type Vorlesung + Übung in category Teaching
First appointment Mon , 20.04.2020 14:00 - 17:15
Online/Digitale Veranstaltung Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache deutsch
ECTS points 6

Lecturers

Times

Monday: 14:00 - 17:15, weekly (from 20/04/20)

Course location

unspecified

Fields of study

admission settings

The course is part of admission "Master SE".
Settings for unsubscribe:
  • These conditions are required for enrollment:
    Subject is Software Engineering

attendance

Current number of participants 11