An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors.

Tao Sun Linjing Zhang Huiping Ma

Published in: SpaCCS Workshops (2017)

Keyphrases

computational model
high level
mathematical model
probabilistic model
sufficient conditions
sensitivity analysis
prior knowledge
management system
autoregressive
database
formal model
statistical model
process model
multi agent
image segmentation
decision trees
data mining
neural network