8. SERENE 2017: Geneva, Switzerland

Invited Talk

Modelling and Specification

Safety and Security

Software

Fault Tolerance, Resilience and Robustness

maintained by Schloss Dagstuhl LZI at University of Trier