Login / Signup

Refinement of Trace Abstraction for Real-Time Programs.

Franck CassezPeter Gjøl JensenKim Guldstrand Larsen
Published in: RP (2017)
Keyphrases
  • real time
  • low cost
  • high level
  • data sets
  • image processing
  • multimedia
  • control system
  • information systems
  • multiscale
  • data structure
  • high speed
  • data acquisition
  • moving target
  • real time tracking
  • control program