4. FMCO 2005: Amsterdam, The Netherlands

Refine list

showing all ?? records

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