Login / Signup

Verification system for real-time specification based on extended real-time logic.

Satoshi Yamane
Published in: RTCSA (1995)
Keyphrases
  • real time
  • low cost
  • vision system
  • real time systems
  • search engine
  • case study