Yang Liu
School of Information Science and Technology, Taishan University, Taian, Shandong, 271021, China
PDF Fulltext XML References Citation
How to cite this article
Yang Liu, 2014. Quantitative Verification of Trustworthy Service Flow by Stochastic Model Checking. Journal of Software Engineering, 8: 152-168.
DOI: 10.3923/jse.2014.152.168
URL: https://scialert.net/abstract/?doi=jse.2014.152.168
DOI: 10.3923/jse.2014.152.168
URL: https://scialert.net/abstract/?doi=jse.2014.152.168