Validation and verification without normalization.

Derek Ratkliff Mile Pavlic Vladan M. Jovanovic

Published in: MIPRO (2011)

Keyphrases

model checking
preprocessing
normalization method
face verification
formal verification
web services
probabilistic model
signature verification
model validation
image processing
high level
information technology
special case
medical images
test generation
functional verification