18. FASE 2015: London, UK (Part of ETAPS 2015)

Models and Synthesis

Testing and Fault Localization

Modeling

Verification

Modeling and Adaptation

Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics