Summer Term 2016

Summer Term 2016: April 1 - September 30

Classes: April 11 - July 16

Bachelor / Master	Course: Advanced Model Checking Directed Studies: Requirements Engineering Seminar: Simply a Game: Model Checking and Games Seminar: Model-based Testing
Bachelor	Project: Software and Systems Engineering
Master	Project: Software and Systems Engineering