Sign in
Combining Formal and Informal Methods in the Design of Spacecrafts.
Mengfei Yang
Naijun Zhan
Published in:
SETSS (2014)
Keyphrases
</>
benchmark datasets
case study
design methodology
design decisions
qualitative and quantitative
preprocessing
computational cost
empirical studies
engineering design
computer aided
design process
building blocks
databases
significant improvement
reinforcement learning
website
computer vision
genetic algorithm