16. SDL Forum 2013: Montreal, Canada

Verification and Testing

Dependability Engineering

Analysis

Domain Specific Languages

Model Transformation

Specification and Description Language and Evolution

a service of Schloss Dagstuhl - Leibniz Center for Informatics