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