HanYong Hao

According to our database, HanYong Hao authored at least 2 papers between 2004 and 2016.

Collaborative distances:

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

2016

Modeling and Verifying Intelligent Unit Transmission Protocol Using CSP Model Checker PAT.

Zhipeng Shao, HanYong Hao, Yuanyuan Ma, Chen Wang, Jiaxuan Fei

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

2004

Fault Diagnosis on Satellite Attitude Control with Dynamic Neural Network.

HanYong Hao, Zengqi Sun, Yu Zhang

Proceedings of the Advances in Neural Networks, 2004