Dongzhen Sun

According to our database, Dongzhen Sun authored at least 2 papers in 2019.

Collaborative distances:

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

2019

Formalization and Verification of TESAC Using CSP.

Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin

Int. J. Softw. Eng. Knowl. Eng., 2019

Modeling and Verifying TESAC Using CSP.

Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019