Verification of Real-Time Systems Prof. Jan Reineke, Sebastian Hahn

News

First Assignment

Written: 27.10.2017 15:29 Written By: Sebastian Hahn

Due to the holidays next week, we released the first exercise sheet already today. You find the exercises on the "Materials" page of the CMS.

Note that you are allowed to work in groups of up to three students.



If you encounter technical problems, please contact Sebastian Hahn