14. FASE 2011: Saarbrücken, Germany (Part of ETAPS 2011)

Refine list

showing all ?? records

Invited Talk

Verification

Specification and Modelling

Reachability and Model Checking

Model Driven Engineering

Software Development for QoS

Testing: Theory and New Trends

Testing in Practice

Code Development and Analysis

Empirical Studies

a service of  Schloss Dagstuhl - Leibniz Center for Informatics