Assertion-Based Verification of Transaction Level Models.

Bernhard Niemann Christian Haubelt

Published in: MBMV (2006)

Keyphrases

experimental data
databases
probabilistic model
model checking
statistical models
data sets
case study
image segmentation
levels of abstraction
database
decision trees
model selection
higher level
complex systems
accurate models