Login / Signup

Using differential formal analysis for dependable number entry.

Abigail Cauchi
Published in: EICS (2013)
Keyphrases
  • formal analysis
  • computational complexity
  • small number
  • database
  • neural network
  • information systems
  • memory requirements