Verification of an Entropy dissipative Qgd-Scheme.

Alexander Zlotnik Timofey Lomonosov

Published in: Math. Model. Anal. (2019)

Keyphrases

data sets
information systems
computer vision
mutual information
real time
asynchronous circuits
formal verification
detection scheme
verification method
high security
authentication scheme
security analysis
formal methods
classification scheme
information theory
information theoretic
model checking