Danzhu Bao

According to our database, Danzhu Bao authored at least 2 papers between 2016 and 2023.

Collaborative distances:

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

2023

Trusted Industrial Digital Infrastructure for Equipment Manufacturing Innovation and Development.

Xuan Huang, Lijun Wei, Yuhan Yang, Danzhu Bao, Wentao Xu, Rongfeng Dai, Jing Wu, Chengnian Long

Proceedings of the 2023 5th International Conference on Blockchain Technology, 2023

2016

Automated Requirements Validation for ATP Software via Specification Review and Testing.

Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong

Proceedings of the Formal Methods and Software Engineering, 2016