Login / Signup

Performance of the verification for binary memoryless channels.

Vladimir B. BalakirskyA. J. Han Vinck
Published in: Secur. Commun. Networks (2011)
Keyphrases
  • model checking
  • multi channel
  • face verification
  • formal verification
  • real world
  • face recognition
  • formal methods
  • artificial intelligence
  • non binary
  • verification method
  • gray code
  • binary representation