Lehrangebot im Sommersemester 2014
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 13.45 - 15.15 Uhr, HG 0.19, Beginn: Montag, 7. April 2014
Voraussetzungen
Inhaltlich werden Grundlagen der Softwaretechnik vorausgesetzt.
Lehr- und Lernportal
Melden Sie sich bitte über den entsprechenden Moodle-Kurs an.