14. FORMATS 2016: Quebec, QC, Canada

Modeling Timed Phenomena

Stochasticity and Hybrid Control

Real-Time Verification and Synthesis

Workload Analysis

maintained by Schloss Dagstuhl LZI at University of Trier