16. SDL Forum 2013: Montreal, Canada

Verification and Testing

Dependability Engineering

Analysis

Domain Specific Languages

Model Transformation

Specification and Description Language and Evolution

maintained by Schloss Dagstuhl LZI, founded at University of Trier