Login / Signup
An efficient vote casting system with Aadhar verification through blockchain.
Basetty Mallikarjuna
Kuppani Satish
J. Gitanjali
P. Venkata Krishna
Published in:
Int. J. Syst. Syst. Eng. (2021)
Keyphrases
</>
formal verification
databases
multi agent systems
multiresolution
model checking
face verification
database
real world
information retrieval
learning algorithm
artificial neural networks
hidden markov models
social media
distributed systems
formal methods
formal analysis