Qinrui Chen is an author at Xidian University specializing in engineering, automated reasoning, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceMaterial ScienceProgram AnalysisSoftware AnalysisLaser ApplicationsAutomated ReasoningFormal Verification
Publications per year
2019–2023
2
2
Diagnosability of Vector Discrete-Event Systems Using Predicates
Qinrui Chen, Li Yin, Naiqi Wu et al. · IEEE Access · 2019 · 28 citations · Full text
Rows per page
1–2 of 2