Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems.

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

Browse the full MEMOCODE paper archive.