BackEsc12509
Formal Development of Reactive Systems
Formale Entwicklung reaktiver Systeme
4 CPSummer (even years)DEno longer offered
Contents
Charakterisierung reaktiver, sicherheitskritischer Systeme; asynchrone/synchrone Modellierung; Programmiersprachen für reaktive Systeme; Modellierung der Umgebung; Realzeitmodelle; formale Spezifikations- und Validierungsverfahren; temporale Logiken und Semantiken.
Learning outcomes
Vermittlung der Methoden, Konzepte und Werkzeuge für die Softwareentwicklung für reaktive Systeme.
Assessment
Beleg unbenotet Prüfungsgespräch benotet
Source: BTU's module description · retrieved 18 Oct 2026Original