Layering Assume-Guarantee Contracts for Hierarchical System Design.

Ioannis Filippidis Richard M. Murray

Published in: Proc. IEEE (2018)

Keyphrases

computer aided
image processing
genetic algorithm
special case
supply chain
building blocks
human computer interaction
design principles