9th VECoS 2015: Bucharest, Romania

Session 1: Control and Diagnosis

Session 2: Program verification

Session 3: Performance evaluation

a service of Schloss Dagstuhl - Leibniz Center for Informatics