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. [doi]
Conference: syde2015
No references recorded for this publication.
No citations of this publication recorded.