Unifying Theories of Reactive Design Contracts.

Simon Foster Ana Cavalcanti Samuel Canham Jim Woodcock Frank Zeyda

Published in: CoRR (2017)

Keyphrases

data mining
design process
artificial intelligence
mobile robot
computer aided
design decisions
design space