Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts.

Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli

Browse the full MEMOCODE paper archive.