No Citation Found
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