SFM 2014: Bertinoro, Italy

Modeling and Verification

Run-Time Assessment and Testing

a service of Schloss Dagstuhl - Leibniz Center for Informatics