TSL23 - Simulation Technology (PhK)

TSL23 - Sicherheitskritische Anwendungen (SCR)

Diese Vorlesung behandelt die Erstellung von Software für sicherheitskritische Anwendungen (Sicherheit im Sinne von "Safety") unter besonderer Berücksichtigung der Luftfahrt.

TSL23 - Echtzeitsysteme (ALO)