Verifying properties of process definitions.

Jamieson M. Cobleigh Lori A. Clarke Leon 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