Run-Time Verification of Coboxes.

Frank S. de Boer Stijn de Gouw Peter Y. H. Wong

Published in: SEFM (2013)

Keyphrases

face verification
database systems
information systems
image processing
case study
feature extraction
special case
formal methods
formal analysis
signature verification
person identification
high security