Residual Checking of Safety Properties.

Matthew B. Dwyer Rahul Purandare

Published in: SPIN (2008)

Keyphrases

database
feature selection
key properties
real time
information retrieval
three dimensional
high level
bayesian networks
evolutionary algorithm
desirable properties