Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design.

Chanwook Oh Eunsuk Kang Shinichi Shiraishi Pierluigi Nuzzo

Published in: DATE (2019)

Keyphrases

user interface
information systems
decision making
case study
association rules
high speed
embedded systems