Qingyan Zeng

According to our database, Qingyan Zeng authored at least 2 papers between 2020 and 2021.

Collaborative distances:

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

2021

Internet of Things-Based Agricultural Mechanization Using Neural Network Extreme Learning on Rough Set.

Jian Chen, Xiaohua Chen, Qingyan Zeng, Ishbir Singh, Amit Sharma

Int. J. Agric. Environ. Inf. Syst., 2021

2020

Checking the consistency of Object-Z formal specification based on theorem proof.

Weiqing Wan, Yongqing Yu, Qingyan Zeng, Zhicheng Wen

J. Comput. Methods Sci. Eng., 2020