6th FTSCS 2018: Gold Coast, Australia

Analysis and Verification of Safety-Critical Systems

Analysis of Timed Systems

Semantics and Analysis Methods

Model Transformation

a service of Schloss Dagstuhl - Leibniz Center for Informatics