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

News

Project

Written: 30.11.2017 16:36 Written By: Sebastian Hahn

We just uploaded the project description. Please have a look at it before the lecture on Monday, such that we can form the project groups. In case you cannot attend the lecture, let us know your preferred topics in advance.



If you encounter technical problems, please contact Sebastian Hahn