Yefei Zhao

According to our database, Yefei Zhao authored at least 4 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Performance Analysis of System Model Based on UML State Diagrams and Continuous-time Markov Chains.

Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu

J. Softw., 2010

Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking.

Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu

J. Softw., 2010

2009

Formal Model and Analysis of Sliding Window Protocol Based on NuSMV.

Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu

J. Comput., 2009

Formal semantics of UML state diagram and automatic verification based on Kripke structure.

Yefei Zhao, Zongyuan Yang, Jinkui Xie

Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, 2009