In der Veranstaltung werden grundlegende Prinzipien und Techniken vermittelt um die Zuverlässigkeit von Softwaresystemen zu verbessern und/oder zu garantieren.Der spezielle Inhalt der Vorlesung sind Notationen und Verfahren zum Sicherheits- Performanz- und Zuverlässigkeitsnachweis und Verfahren zur Erstellung von sicheren und zuverlässigen Systemen.
Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis SoSe 2024 gefunden: