Login / Signup

Real-time verification of multiaxis NC programs with raster graphics.

W. P. WangK. K. Wang
Published in: ICRA (1986)
Keyphrases
  • real time
  • general purpose
  • vision system
  • binary images
  • computer graphics
  • real time systems
  • multimedia
  • low cost
  • symbolic execution
  • data streams
  • high speed
  • logic programming
  • model checking