8th TASE 2014: Changsha, China

Invited Talk 1

Session 1: Verification 1

Session 2: Formal Modelling

Session 3: Testing

Invited Talk 3

Session 4: Verification 2

Session 5: Program Analysis

Session 6: System Modelling

Invited Talk 3

Session 7: System Design

Session 8: Service and Cloud

Session 9: System Analysis

TASE 2013 Paper

a service of Schloss Dagstuhl - Leibniz Center for Informatics