Hang Zhou

Affiliations:
  • Beijing Jiaotong University


According to our database1, Hang Zhou authored at least 8 papers between 2008 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Modeling and verification of Web services composition based on model transformation.
Softw. Pract. Exp., 2017

2016
Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra.
Int. J. Softw. Eng. Knowl. Eng., 2016

2014
An Uncertainty-Based Distributed Fault Detection Mechanism for Wireless Sensor Networks.
Sensors, 2014

A Novel Algorithm of Edge Location Based on Omni-directional and Multi-scale MM.
J. Comput., 2014

The strategy of probe station selection of active probing in WSNs.
Proceedings of the 16th Asia-Pacific Network Operations and Management Symposium, 2014

2010
An MDE Based Approach for Generating Software Architecture Models from Formal Specifications.
Proceedings of the 10th International Conference on Quality Software, 2010

2008
A Formal Method Support for Resource Modeling of Web Services Composition.
Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008


  Loading...