Login / Signup

Refinement complements verification and validation.

Susan Craw
Published in: Int. J. Hum. Comput. Stud. (1996)
Keyphrases
  • model checking
  • databases
  • digital images
  • formal methods
  • concurrent systems
  • computer vision
  • case study
  • high level
  • mobile robot
  • refinement operators
  • model validation
  • false acceptance rate
  • false acceptance