3
Publications
110
Citations
3
H-Index
2019
Active since
Affiliations
Haining Feng is an author at National University of Defense Technology specializing in engineering, digital storytelling, and computational linguistics.
Top concepts
EngineeringArtsDesignCommunicationEnergy ManagementSystems EngineeringDigital StorytellingPower System ControlConversation AnalysisElectrical Engineering
Publications per year
2019–2023
3
3
Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs
Haining Feng, Liangze Yin, Wenfeng Lin et al. · 2020 · 10 citations
Rows per page
1–3 of 3