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
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