Deming Zhong - Concepedia

Author

Deming Zhong

Also Known As

D Zhong, Deming Zhong, Zhong Deming

Publications

208

Citations

H-Index

Concepts

All Affiliations

Deming Zhong is an author at Beihang University specializing in systems engineering, engineering, and computer engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	108
2	Systems Engineering	5	5	108
3	Computer Engineering	4	4	95
4	Computer Science	2	2	66
5	Complex Systems	1	1	55

Deming Zhong

Publications

108

Citations

H-Index

Page 1

	Year	Citations
Integrating Model Checking With SysML in Complex System Safety Analysis Hongli Wang, Deming Zhong, Tingdi Zhao, IEEE Access EngineeringVerificationSoftware EngineeringComplex SystemsModern Complex Systems	2019	55
Avionics system failure analysis and verification based on model checking Hongli Wang, Deming Zhong, Tingdi Zhao Engineering Failure Analysis EngineeringSoftware TestingVerificationFault AnalysisFormal Methods	2019	17
Analysis of novel stochastic switched<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="mml1" display="inline" overflow="scroll" altimg="si1.gif"><mml:mi>S</mml:mi><mml:mi>I</mml:mi><mml:mi>L</mml:mi><mml:mi>I</mml:mi></mml:math>epidemic models with continuous and impulsive control Shujing Gao, Deming Zhong, Yan Zhang Physica A Statistical Mechanics and its Applications Stochastic SimulationMath XmlnsStochastic Hybrid SystemEngineeringStochastic Processes	2017	13
On modeling approach for embedded real-time software simulation testing Yongfeng Yin, Bin Liu, Deming Zhong, EngineeringSoftware TestingComputer EngineeringSystems EngineeringSoftware Engineering	2009	12
System States Transition Safety Analysis Method Based on FSM and NuSMV Yuxin Ding, Li Weigang, Deming Zhong, EngineeringVerificationModel CheckingSystem ReliabilitySoftware Safety	2018	11

Page 1