4. FMCO 2005: Amsterdam, The Netherlands

Component and Service Oriented Computing

System Design

Tools

Algebraic Methods

Model Checking

Assertional Methods

Quantitative Analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics