Advanced Program Analyses and Verifications.

Thi Viet Nga Nguyen François Irigoin

Published in: RIVF (2003)

Keyphrases

high level programming language
test cases
face recognition
information technology
operating system
program execution
database
databases
neural network
information retrieval
artificial intelligence
decision making
digital libraries
open source
statistical analysis