13119

4364116

R. Drechsler

Formal Modeling and Verification of Cyber-Physical Systems - 1st International Summer School on Methods and Tools for the Design of Digital Systems

Springer

2015

3658099933