Verification Components Reuse.

Assim Sagahyroon Geetha Lakkaraj Maddu Karunaratne

Published in: J. Comput. (2012)

Keyphrases

building blocks
reusable components
model checking
real time
databases
real world
genetic algorithm
decision making
knowledge base
feature extraction
multi agent systems
face verification