Lehrangebot
Sommersemester 2018
- Softwaretechnik - Modul 11289 - Master
- Seminar Formal Methods and Software Engineering for Security - Modul 11896 - Master
Wintersemester 2017/2018
- Software Security - Modul 11892 - Master
- Seminar Protokollanalyse für sicherheitskritische Systeme - Modul 12462 - Master
Sommersemester 2017
Proseminar Formale Methoden und Software Engineering für sicherheitskritische Systeme - Modul 12111 - Bachelor
Softwaretechnik - Modul 11289 - Master
- Seminar Formale Methoden und Software Engineering für sicherheitskritische Systeme - Modul 12462 - Master
Wintersemester 2016/2017
- Softwaresicherheit - Modul 11478 - Master
- Seminar Formale Methoden und Software Engineering für sicherheitskritische Systeme - Modul 12462 - Master
Wintersemester 2015/16
Wintersemester 2014/15
Wintersemester 2013/14
Lehrangebote aus vergangenen Semestern
- Automotive Software Engineering (Master-LV, TU Berlin)
- Programmierung 2 für Wirtschaftsinformatiker (Bachelor-LV, TU Berlin)
- Sicherheitsaspekte in der Softwaretechnik (Master-LV, TU Berlin)
- Methodische und Praktische Grundlagen der Informatik (Bachelor-LV, TU Berlin)
- Analysetechniken in der Softwaretechnik (Master-LV, TU Berlin)