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

Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone (2012)

Details and statistics

DOI: 10.3166/EJC.18.217-238

access: closed

type: Journal Article

metadata version: 2018-11-14