Zhiru Hou

According to our database, Zhiru Hou authored at least 2 papers between 2021 and 2022.

Collaborative distances:

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

2022

Formalization and Verification of SIP Using CSP.

Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen

Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2022

2021

Formalization and Verification of Dubbo Using CSP.

Zhiru Hou, Jiaqi Yin, Huibiao Zhu

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021