5. FTSCS 2016: Tokyo, Japan

Specification and Verification

Automotive and Railway Systems

Circuits and Cyber-Physical Systems

Parametrized Verification

maintained by Schloss Dagstuhl LZI at University of Trier