Login / Signup
CHVote System Specification.
Rolf Haenni
Reto E. Koenig
Philipp Locher
Eric Dubuis
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
formal specification
databases
multiscale
real world
multi agent
preprocessing
object oriented
specification language
ims learning design
state machine
reactive systems
ims qti