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


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.

Privacy Policy | Legal Notice
If you encounter technical problems, please contact Sebastian Hahn