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

Refine list

showing all ?? records

Models and Synthesis

Testing and Fault Localization

Modeling

Verification

Modeling and Adaptation

Applications

a service of  Schloss Dagstuhl - Leibniz Center for Informatics