Master Project: Formal Verification of Software Defined Networks
Schedule online course:
- Organizational meeting on projects and theses: Tba
- Project (Dr. Georgiana Caltais)
Tuesday 15:15 - 16:45 Start: 13 April 2021
Topics
Tba
Workload
The time and effort of this project will amount to 270 hours.
Course contents
Tba
Teaching methods
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.
Literature
Tba
Target group
Master students
Expected course achievement
Project report, project result presentation.
Credits
ECTS 9
Weekly teaching hours
SWS 2