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