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.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2010

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

[BibT_eX]

[DOI]

J. Softw., 2010

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

[BibT_eX]

[DOI]

J. Softw., 2010

2009

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

[BibT_eX]

[DOI]

J. Comput., 2009

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

[BibT_eX]

[DOI]

Yefei Zhao

Zongyuan Yang

Jinkui Xie

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

Yefei Zhao

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...