WINTER 06/07
 | ||
|
Im Wintersemester 2006/07 werden wir anbieten:
 | Stammvorlesung: Verification |
| Vertiefungsvorlesung: Stochastic Hybrid Systems |
| Seminar: Computation in Systems Biology |
|
WINTER 06/07 |
|
||||||
Im Wintersemester 2006/07 werden wir anbieten:
|
||||||||
| Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes | ||||||