Yefei Zhao

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu
Performance Analysis of System Model Based on UML State Diagrams and Continuous-time Markov Chains. J. Softw. 5 (9) (2010)
Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu
Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking. J. Softw. 5 (7) (2010)
Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu
Formal Model and Analysis of Sliding Window Protocol Based on NuSMV. J. Comput. 4 (6) (2009)
Yefei Zhao, Zongyuan Yang, Jinkui Xie
Formal semantics of UML state diagram and automatic verification based on Kripke structure. CCECE (2009)