Record Beta
SyDe Summer School
https://id.confref.org/data/confref-portal/event/syde2015
This record is part of the confref event 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.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.