Current courses (Software Engineering Group)

Title Type Semester
Advanced Model Checking Lecture SS 2018
Advanced Model Checking Exercise SS 2018
Formal Methods for Biological Systems Seminar SS 2018
Causality in Systems Seminar SS 2018
Functional Safety for Embedded Systems (Exercise) Exercise SS 2018
Testing of Software (Exercise) Exercise SS 2018
Courses of last terms