Login / Signup

Formal analysis of high-performance stabilized active-input current mirror.

Mohan JulienSerge BernardFabien SoulierVincent KerzerhoGuy Cathébras
Published in: ISCAS (2017)
Keyphrases
  • formal analysis
  • formal methods
  • agent model
  • learning algorithm
  • life cycle
  • high efficiency
  • scientific computing