WINTER 14/15
 | ||
|
Im Wintersemester 2014/15 werden wir folgende Veranstaltungen anbieten:
 | Stammvorlesung: Verification |
| Vertiefungsvorlesung: Quantitative Model Checking |
|
WINTER 14/15 |
|
||||
Im Wintersemester 2014/15 werden wir folgende Veranstaltungen anbieten:
|
||||||
| Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes | ||||