Probabilistic Model Checking-Based Service Selection Method for Business Process Modeling
Gao, Honghao, Chu, Danqi, Duan, Yucong, Yin, YuyuVolume:
27
Language:
english
Journal:
International Journal of Software Engineering and Knowledge Engineering
DOI:
10.1142/s0218194017500334
Date:
August, 2017
File:
PDF, 857 KB
english, 2017