An Industrial Case Study of the Verification and Validation Activities.

Tomas Berling Thomas Thelin

Published in: IEEE METRICS (2003)

Keyphrases

activity recognition
human activities
model checking
face verification
information retrieval
human computer interaction
artificial intelligence
search engine
case study
multiscale
search algorithm
distributed systems
formal methods
collaborative activities