Probabilistic Contracts for Component-Based Design.

Dana N. Xu Gregor Gößler Alain Girault

Published in: ATVA (2010)

Keyphrases

optimal design
machine learning
learning algorithm
engineering design
building blocks
data driven
relational databases
design decisions
computer aided
design process
low cost
control system
data sets
bayesian networks
case study
decision trees
decision making
search engine
real world
neural network