|
[ZYXL10]
Yefei Zhao, Zongyuan Yang, Jinkui Xie and Qiang Liu.
Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking.
Journal of Software, 5(7), pages 793-800.
2010.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|