Login / Signup

Formal Methods for Exact Analysis of Approximate Circuits.

Zdenek Vasícek
Published in: IEEE Access (2019)
Keyphrases
  • formal methods
  • data analysis
  • databases
  • machine learning
  • open source
  • knowledge based systems