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



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.

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