Automating Refinement Checking in Probabilistic System Design.

Carlos Gonzalía Annabelle McIver

Published in: ICFEM (2007)

Keyphrases

metadata
engineering design
search engine
bayesian networks
data driven
real time
data sets
expert systems
user interface
control system
graphical models
design process
uncertain data
design decisions