Towards Compositional Verification in MEDISTAM-RT Methodological Framework.

Kawtar Benghazi Akhlaki Miguel J. Hornos Manuel Noguera

Published in: IWANN (2) (2009)

Keyphrases

methodological framework
model checking
face verification
databases
neural network
formal verification
data sets
multimedia
case study
database systems
signature verification
test generation