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

Roberto Passerone, Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli. Coherent Extension, Composition, and Merging Operators in Contract Models for System Design. ACM Trans. Embedded Comput. Syst., 18(5s), 2019. [doi]

Abstract

Abstract is missing.