Vorlesung Funktionale Sicherheit im Sommersemester 2024