syde 2015: SyDe Summer School - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Rolf Drechsler, Ulrich Kühne, editors, Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. Springer, 2015.

runs on WebDSL