Login / Signup

Verification with Real-Time COSPAN.

Costas CourcoubetisDavid L. DillMagda ChatzakiPanagiotis Tzounakis
Published in: CAV (1992)
Keyphrases
  • real time
  • low cost
  • model checking
  • high fidelity
  • neural network
  • computer vision
  • control system
  • quality of service
  • real time systems
  • databases
  • image processing
  • multiscale
  • expert systems
  • high speed
  • petri net