| GI-Dagstuhl Seminar 15504
Formal Evaluation of Critical Infrastructures
Webpage of the seminar.
| Dagstuhl Seminar 14031
Randomized Timed and Hybrid Models for Critical Infrastructures
Webpage of the seminar.
| ROCKS autumn school
RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
Webpage of the seminar.