Login / Signup

Formal Model-Based Validation for Tally Systems.

Dermot CochranJoseph R. Kiniry
Published in: VoteID (2013)
Keyphrases
  • management system
  • knowledge based systems
  • building blocks
  • retrieval systems
  • multimedia
  • multi agent
  • data driven