Login / Signup
Performance of the verification for binary memoryless channels.
Vladimir B. Balakirsky
A. 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