Login / Signup

Compositional construction of approximate abstractions.

Matthias RunggerMajid Zamani
Published in: HSCC (2015)
Keyphrases
  • high level
  • user interface
  • real time
  • image processing
  • trade off