Login / Signup

Verification column.

Ranko Lazic
Published in: ACM SIGLOG News (2019)
Keyphrases
  • model checking
  • face verification
  • verification method
  • three dimensional
  • person identification
  • high security
  • functional verification
  • feature selection
  • formal methods
  • signature verification
  • formal verification