Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli. Contract-based Component Selection Using Behaviors. In Proceedings of the International Symposium on Formal Methods and Models for System Design, MEMOCODE 2025, Taipei International Convention Center (TICC), Taipei, Taiwan, 28 September 2025 - 3 October 2025. pages 38-46, ACM, 2025. [doi]
Abstract is missing.