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.