An Integrated Approach to High Integrity Software Verification.

Andrew Ireland Bill J. Ellis Andrew Cook Roderick Chapman Janet Barnes

Published in: J. Autom. Reason. (2006)

Keyphrases

data sets
wide range
integrity constraints
computer vision
decision making
high cost
significantly lower
database
machine learning
database systems
bayesian networks
expert systems
special case
high precision