Automated Multiparameterised Verification by Cut-Offs.

Published in: ICFEM (2010)

Keyphrases

semi automated
fully automated
computer aided
computer assisted
database
expert systems
real world
data mining
optimal solution
evolutionary algorithm
model checking
face verification
high security