Lehrangebot im Sommersemester 2015
Seminar
Inhalt
Behandlung aktueller Forschungsthemen am Fachgebiet Sichere Softwaresysteme, Techniken zur Qualitätssicherung sicherheitskritischer Softwaresysteme, Verifikationsverfahren zum Nachweis von Safety- und Security-Eigenschaften in der modellbasierten Softwareentwicklung
Art und Form
2 SWS / 4 LP Seminar (SE), Mastermodul Seminar
Zeit und Ort
Montag 11.30 - 13.00 Uhr, VG1c 2.24, Beginn: Montag, 13. April 2015
Blockseminar (Vorträge von Tobias Killer und Petja Boigk), Montag, den 31. August 2015 im VG1c 2.24
Voraussetzungen
Inhaltlich werden Grundlagen der Softwaretechnik vorausgesetzt.
Lehr- und Lernportal
Bitte in den entsprechende Moodle-Kurs eintragen.