Login / Signup

Real-Time Specification Using Lucid.

David B. SkillicornJanice I. Glasgow
Published in: IEEE Trans. Software Eng. (1989)
Keyphrases
  • real time
  • low cost
  • real time systems
  • data sets
  • high level
  • neural network
  • high speed
  • databases
  • real world
  • image sequences
  • control system
  • vision system
  • virtual environment
  • data acquisition
  • formal specification