Login / Signup

Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs.

Rami R. RazoukMichael M. Gorlick
Published in: Symposium on Testing, Analysis, and Verification (1989)
Keyphrases
  • real time
  • low cost
  • vision system
  • data acquisition
  • artificial intelligence
  • computer vision
  • web services
  • case study
  • artificial neural networks
  • general purpose
  • high speed