![]() |
SOMMER 12 |
|
||||||||
Im Sommersemester 2012 werden wir die folgenden Veranstaltungen anbieten: ![]()
![]() Eine weitere Vertiefungsvorlesung, die wir unterstützen und empfehlen ist Quantitative Model Checking. ![]() |
||||||||||
Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes |