14. FORMATS 2016: Quebec, QC, Canada

Modeling Timed Phenomena

Stochasticity and Hybrid Control

Real-Time Verification and Synthesis

Workload Analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics