4. FMCO 2005: Amsterdam, The Netherlands

Component and Service Oriented Computing

System Design

Tools

Algebraic Methods

Model Checking

Assertional Methods

Quantitative Analysis

maintained by Schloss Dagstuhl LZI, founded at University of Trier