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

Models and Synthesis

Testing and Fault Localization

Modeling

Verification

Modeling and Adaptation

Applications

maintained by Schloss Dagstuhl LZI at University of Trier