CBSE 2008: Karlsruhe, Germany

Refine list

showing all ?? records

Performance Engineering

Extra-Functional Properties: Security and Energy

Formal Methods and Model Checking

Verification Techniques

Run-Time Infrastructures

Methods of Design and Development

Component Models

a service of  Schloss Dagstuhl - Leibniz Center for Informatics