Current courses (Software Engineering Group)

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