Modellbasierter Verifikation Verteilter Systeme

Room: SE Seminarraum / SE Seminar room

Begin: (the exact date is to be announced)

Supervising Assistants: Course Type: Practical Course

Course ID: 17ws-53865


Inhalt / Content

Subject: Modellbasierter Verifikation Verteilter Systeme