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