Improving the efficiency of verification and validation.

Pekka Belt Janne Härkönen Matti Mottonen Pekka Kess Harri Haapasalo

Published in: Int. J. Serv. Stand. (2008)

Keyphrases

real time
neural network
artificial intelligence
search engine
reinforcement learning
face detection
model checking
face verification
formal verification
fingerprint verification