Contract-based Component Selection Using Behaviors.

Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli

Browse the full MEMOCODE paper archive.