22nd MODELS 2019: Munich, Germany

Data Quality and Security

Design and Development

Testing

Artifact Generation

Architecture Analysis

Model Execution

Formal Verification and Static Analysis

Modeling Environment

System Modeling

Runtime Models

Requirements Modeling and Analysis

Modeling and ML

a service of Schloss Dagstuhl - Leibniz Center for Informatics