15. ICFEM 2013: Queenstown, New Zealand

Keynote

Specification

Proof

Testing

Timed Systems

Concurrency

SysML/MDD

Verification

Application

Static Analysis

maintained by Schloss Dagstuhl LZI at University of Trier