Quantitative Verification - Sommersemester 2020
Veranstalter
| Dozent | Ralf Wimmer, PD Dr., Concept Engineering (Freiburg) |
| Assistent | Leonore Winterer, M.Sc., Lehrstuhl für Rechnerarchitektur |
|
|
|
|
|
|
|
Quantitative Verification - Sommersemester 2020Veranstalter
|