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