Summer Term 2020

Bachelor / Master	Course: Software Engineering Course: Advanced Model Checking Cancelled: Directed Studies: Concurrent, Distributed and Cloud Computing Directed Studies: Introduction to Software Defined Networks
Bachelor	Project: Software and Systems Engineering
Master	Project: Software and Systems Engineering Project: Formal Verification of Software Defined Networks

Search University of Konstanz