Sign in

Verifying properties of process definitions.

Jamieson M. CobleighLori A. ClarkeLeon J. Osterweil
Published in: ISSTA (2000)
Keyphrases
  • data sets
  • digital libraries
  • real time
  • computer vision
  • decision making
  • data structure
  • preprocessing
  • special case
  • mobile robot
  • process model
  • decision process