Correctness Verification for Service-Based Business Processes.

Pengbo Xiu Weiliang Zhao Jian Yang

Published in: ICWS (2017)

Keyphrases

model checking
bayesian networks
computational models
data sets
genetic algorithm
computer vision
image processing
decision trees
case study
process model
face verification
formal verification
provably correct