CBSE 2007: Medford, MA, USA

Refine list

showing all ?? records

Component-Based Architectures and Change

Quality of Service, Runtime Verification and Monitoring

Extra-Functional Properties and Compositional Reasoning

Web Services, Late Composition and Verification

a service of  Schloss Dagstuhl - Leibniz Center for Informatics