Hang Zhou

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

Collaborative distances:

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

2017

Modeling and verification of Web services composition based on model transformation.

Yi Zhu, Zhiqiu Huang, Hang Zhou

Softw. Pract. Exp., 2017

2016

Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra.

Yi Zhu, Zhiqiu Huang, Guangquan Zhang, Hang Zhou, Fangxiong Xiao

Int. J. Softw. Eng. Knowl. Eng., 2016

2014

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

Yang Yang, Zhipeng Gao, Hang Zhou, Xuesong Qiu

Sensors, 2014

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

Hang Zhou, Dan Peng, Xin Wang, Hongyi Wang

J. Comput., 2014

The strategy of probe station selection of active probing in WSNs.

Hang Zhou, Yang Yang, Xuesong Qiu, Zhipeng Gao

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.

Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan

Proceedings of the 10th International Conference on Quality Software, 2010

2008

A Formal Method Support for Resource Modeling of Web Services Composition.

Yi Zhu, Zhiqiu Huang, Hang Zhou

Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL.

Hang Zhou, Zhiqiu Huang, Yi Zhu

Proceedings of the 9th International Conference for Young Computer Scientists, 2008