X-Aware verification: A different perspective!

Khaled Nouh Haytham Saafan Ahmed Ismail

Published in: ICECS (2013)

Keyphrases

viewpoint
model checking
databases
decision trees
information retrieval
multimedia
formal verification
face verification
functional verification
database
concurrent systems
signature verification
formal analysis
relational databases
expert systems
learning algorithm
genetic algorithm