Reverse Coverage Analysis.

Ariel Birnbaum Laurent Fournier Steven Mittermaier Avi Ziv

Published in: Haifa Verification Conference (2011)

Keyphrases

statistical analysis
image analysis
search engine
bayesian networks
data analysis
artificial neural networks
control system