Concepedia

Weijiang Hong

WH

2

Publications

21

Citations

2

H-Index

2017

Active since

Affiliations

Beihang University(Current)

Weijiang Hong is an author at Beihang University specializing in program analysis, automated reasoning, and formal methods.

ORCID

Top concepts

Publications per year

2017–2019

2

Publications

2

Submersible Unmanned Aerial Vehicle: Configuration Design and Analysis Based on Computational Fluid Dynamics

Qinyang Wang, Songping Wu, Weijiang Hong et al. · MATEC Web of Conferences · 2017 · 11 citations · Full text

Evaluation of model checkers by verifying message passing programs

Weijiang Hong, Zhenbang Chen, Hengbiao Yu et al. · Science China Information Sciences · 2019 · 10 citations

, , +10

Rows per page

1–2 of 2