Estonian Voting Verification Mechanism Revisited.

Koksal Mus Mehmet Sabir Kiraz Murat Cenk Isa Sertkaya

Published in: CoRR (2016)

Keyphrases

model checking
real time
data sets
case study
bayesian networks
formal methods
machine learning
search engine
multiscale
formal verification
selection mechanism
concurrent systems