Login / Signup
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