Weiqing Wan

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Situation Assessment

Formal Specification

Wireless Transmission

Interactive Theorem Proving

Top Venues

J. Comput. Methods Sci. Eng.

Int. J. Pattern Recognit. Artif. Intell.

Publications

Zhicheng Wen, Linhua Peng, Weiqing Wan, Jing Ou
An Algorithm for Network Security Situation Assessment Based on Deep Learning. Int. J. Pattern Recognit. Artif. Intell. 37 (2) (2023)
Weiqing Wan, Yongqing Yu, Qingyan Zeng, Zhicheng Wen
Checking the consistency of Object-Z formal specification based on theorem proof. J. Comput. Methods Sci. Eng. 20 (1) (2020)
Weiqing Wan
Design of Temperature Detection Systems Based on Wireless Transmission. DPTA (2019)