4th IMBSA 2014: Munich, Germany

Modeling Paradigms

Validation and Testing

Fault Detection and Handling

Safety Assessment in the Automotive Domain

Case Studies

a service of Schloss Dagstuhl - Leibniz Center for Informatics