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
Webpage of the seminar.
ROCKS autumn school
RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
Webpage of the seminar.
