8. SERENE 2017: Geneva, Switzerland

Invited Talk

Modelling and Specification

Safety and Security

Software

Fault Tolerance, Resilience and Robustness

a service of Schloss Dagstuhl - Leibniz Center for Informatics