Masters's Project: Formal Verification of Software Defined Networks
Schedule:
- Project (Dr. Georgiana Caltais) Start: 28 April 2020
Tuesday 13:30 - 15:00 in Room PZ 901
Topics
Tba
Participants
Master students
Contents
Tba
Credit Requirements
Project report, project result presentation.
Workload
The time and effort of this project will amount to 270 hours.
Literature
Tba
Credits
ECTS: 9
Weekly teaching hours
SWS: 4