11. 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

maintained by Schloss Dagstuhl LZI at University of Trier