17th FORMATS 2019: Amsterdam, The Netherlands

Special Session on Data-Driven and Stochastic Approaches to Real-Time, Including Monitoring and Big Data

Timed Systems

Linear and Non-linear Systems

Timed Automata

Special Session on Timed Systems and Probabilities

a service of Schloss Dagstuhl - Leibniz Center for Informatics