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