Login / Signup

Coherent Extension, Composition, and Merging Operators in Contract Models for System Design.

Roberto PasseroneÍñigo Íncer RomeoAlberto L. Sangiovanni-Vincentelli
Published in: ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
  • probabilistic model
  • knowledge base