Verification Strategy Determination Using Dependence Analysis of Transaction-Level Models.

S. Regimbal Yvon Savaria Guy Bois

Published in: IWSOC (2004)

Keyphrases

formal analysis
quantitative analysis
statistical models
database
databases
abstraction levels
levels of abstraction
probabilistic model
statistical analysis
analytical methods
accurate models
prior knowledge
database systems
information systems
search engine
artificial intelligence
information retrieval
real time