ISoLA 2014: Corfu, Greece

Engineering Virtualized Systems

Statistical Model Checking

Risk-Based Testing

Medical Cyber-Physical Systems

Scientific Workflows

Evaluation and Reproducibility of Program Analysis

Processes and Data Integration in the Networked Healthcare

Semantic Heterogeneity in the Formal Development of Complex Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics