Statistics
Publications
1
Citations
16
H-Index
1
Active since
2020
Affiliations
AVIC Optronics (China)(Current)
Hui Zong is an author at AVIC Optronics (China) specializing in executable system models, formal verification, and deductive verification.
Publications per year
2020–2020
1
1
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions
Fujun Wang, Zining Cao, Lixing Tan et al. · IEEE Access · 2020 · 16 citations · Full text
1–1 of 1