Component-based Verification in a Synchronous Setting.

Agathe Merceron G. Michele Pinna

Published in: Int. J. Softw. Eng. Knowl. Eng. (2001)

Keyphrases

model checking
information retrieval
neural network
face verification
database
databases
three dimensional
database systems
feature extraction
multiscale
formal verification