11th ACSD 2011: Newcastle Upon Tyne, UK

Model Transformations

Concurrent System Verification

Conformance and Run-Time Techniques

Stochastic Systems

Asynchronous Circuits

Synchronous and Heterogeneous Systems

Timed Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics