Contract-based product-assembly co-design.

Bert Van Acker, Joachim Denil

Browse the full MODELS paper archive.