Login / Signup
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design.
Pierluigi Nuzzo
Jiwei Li
Alberto L. Sangiovanni-Vincentelli
Yugeng Xi
Dewei Li
Published in:
ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
</>
user interface
case study
decision support system
cost effective