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


Final Assignment

Written: 22.01.2018 12:33 Written By: Sebastian Hahn

The sixth and final assignment is now available in our CMS. Note that you need at least 133 points (i.e. 50% of the total points) to be admitted to the exam.

If you encounter technical problems, please contact Sebastian Hahn