Yayun Hu

According to our database, Yayun Hu authored at least 1 paper in 2019.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2019

Formal Verification Technology for Asynchronous Communication Protocol.

Yayun Hu, Dongfang Li

Proceedings of the 19th IEEE International Conference on Software Quality, 2019