Login / Signup

Formal techniques in a remote voting system.

Joseph R. KiniryAlan E. MorkanDermot CochranMartijn OostdijkEngelbert Hubbers
Published in: ACM SIGSOFT Softw. Eng. Notes (2006)
Keyphrases
  • real time
  • formal model
  • voting schemes
  • voting method
  • database
  • formal specification
  • neural network
  • learning algorithm
  • artificial intelligence
  • formal methods
  • majority voting
  • formal representation
  • remote access