![]() |
SUMMER 12 |
|
||||||||
In the summer term 2012 we offer: ![]()
![]() Further, we support and recommend the advanced course on Quantitative Model Checking.
![]() |
||||||||||
Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes |