Combining Test and Proof in MBAT - An Aerospace Case Study.

Michael Dierkes

Published in: MODELSWARD (2014)

Keyphrases

case study
real time
feature selection
software development
test data
lessons learned
data sets
machine learning
computer vision
image segmentation
objective function
theorem prover
combining multiple