Login / Signup
Coherent Extension, Composition, and Merging Operators in Contract Models for System Design.
Roberto Passerone
Íñigo Íncer Romeo
Alberto L. Sangiovanni-Vincentelli
Published in:
ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
</>
probabilistic model
knowledge base