GI-Dagstuhl Seminar 15504
GI-Dagstuhl Seminar 15504

Formal Evaluation of Critical Infrastructures

Webseite des Seminars.

Dagstuhl Seminar 14031
Dagstuhl Seminar 14031

Randomized Timed and Hybrid Models for Critical Infrastructures

Dagstuhl Sem 2014

Webseite des Seminars.

ROCKS autumn school
ROCKS autumn school

RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

Webseite des Seminars.