ISoLA 2010: Heraklion, Crete, Greece

EternalS: Mission and Roadmap

Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing

Quantitative Verification in Practice

CONNECT: Status and Plans

Certification of Software-Driven Medical Devices

Modeling and Formalizing Industrial Software for Verification, Validation and Certification

Resource and Timing Analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics