Yefei Zhao
According to our database1,
Yefei Zhao
authored at least 4 papers
between 2009 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Performance Analysis of System Model Based on UML State Diagrams and Continuous-time Markov Chains.
J. Softw., 2010
Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking.
J. Softw., 2010
2009
J. Comput., 2009
Formal semantics of UML state diagram and automatic verification based on Kripke structure.
Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, 2009