Master Project: Formal Verification of Software Defined Networks
Schedule online course:
- Organizational meeting on projects and theses: Tuesday, 10 November 2020, 10:00 - 11:30
- Project (Dr. Georgiana Caltais)
Wednesday 11:45 - 13:15 Start: 12 November 2020
The time and effort of this project will amount to 270 hours.
This course takes place as an online course.
Further details on the course will be provided in ILIAS.
Please register in ZEuS for the course, which will register you automatically in ILIAS as well.
Expected course achievement
Project report, project result presentation.
Weekly teaching hours