Digicampus
Vorlesung + Übung: Modellierung, Spezifikation und Verifikation reaktiver Systeme - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird in Präsenz abgehalten.

Allgemeine Informationen

Veranstaltungsname Vorlesung + Übung: Modellierung, Spezifikation und Verifikation reaktiver Systeme
Veranstaltungsnummer INF-5018
Semester SS 2023
Aktuelle Anzahl der Teilnehmenden 11
Heimat-Einrichtung Softwaretechnik
Veranstaltungstyp Vorlesung + Übung in der Kategorie Lehre
Erster Termin Montag, 17.04.2023 14:00 - 17:00, Ort: (1055N)
Art/Form Die Vorlesung und die Übungen finden ersatzweise nur als Aufzeichnung/Materialsammlung statt.
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache deutsch
ECTS-Punkte 6

Räume und Zeiten

(1055N)
Montag: 14:00 - 17:00, wöchentlich (12x)

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Master SE".
Folgende Regeln gelten für die Anmeldung:
  • Folgende Bedingung muss zur Anmeldung erfüllt sein:
    Studienfach ist Software Engineering