Applying a Dependency Mechanism for Voting Protocol Models Using Event-B.

J. Paul Gibson Souad Kherroubi Dominique Méry

Published in: FORTE (2017)

Keyphrases

experimental data
data sets
machine learning
learning algorithm
statistical models
event detection
voting protocols