6. SOFL+MSVL 2016: Tokyo, Japan

Modeling and Specification

Animation and Prototyping

Verification and Validation

Model Checking

a service of Schloss Dagstuhl - Leibniz Center for Informatics