Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems

BIB
Sangiovanni-Vincentelli, Alberto and Damm, Werner and Passerone, Roberto
European Journal of Control
02 / 2012
article
Vol 18