14. EPEW 2017: Berlin, Germany

Advances in Markov Models

Advances in Quantitative Analysis

Model Checking

Cyber-Physical Systems

Performance, Energy and Security

Case Studies

maintained by Schloss Dagstuhl LZI, founded at University of Trier