| GI-Dagstuhl Seminar 15504
GI-Dagstuhl Seminar 15504
Formal Evaluation of Critical Infrastructures
Webpage of the seminar.
| Dagstuhl Seminar 14031
Randomized Timed and Hybrid Models for Critical Infrastructures
![](/imperia/md/images/informatik/agremke/_v/fittosize_528_396_0843f439098f308852e8dd8fd40121ac_dagstuhl_sem_2014.jpg)
Webpage of the seminar.
| ROCKS autumn school
RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
Webpage of the seminar.