11th ACSD 2011: Newcastle Upon Tyne, UK

Refine list

showing all ?? records

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