1st PESOS@ICSE 2009: Vancouver, BC, Canada

Refine list

showing all ?? records

Formal Specifications, Models and Analysis for SOA

Service Engineering

QoS and Transactions

Human-Centered Processes and Pervasive Computing

Model-Driven Approaches, Automatic Generation

Design Issues

Verification and Quality Assurance

a service of  Schloss Dagstuhl - Leibniz Center for Informatics