A Coverage Analysis for Safety Property Lists.

Published in: FMCAD (2007)

Keyphrases

computer vision
data analysis
neural network
wide range
case study
image analysis
data warehouse
social networks
multi agent
computational complexity
digital libraries
united states