[GMZ13]
H. Gao, H. Miao and H. Zeng.
Predictive web service monitoring using probabilistic model checking.
International Journal on Applied Mathematics & Information Sciences, 6(1L), pages 139–148.
2013.
[Uses probabilistic model checking and PRISM to predict web service reliability.]
|
