CORC

在结果中检索

CORC

浏览/检索结果: 共27条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Avionics system failure analysis and verification based on model checking 会议论文
ENGINEERING FAILURE ANALYSIS, 2019-11-01
作者:  Wang, Hongli;  Zhong, Deming;  Zhao, Tingdi
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
Formal system interactive failure analysis method based on systems theoretic process analysis model 会议论文
ENGINEERING FAILURE ANALYSIS, 2019-12-01
作者:  Sun, Rui;  Zhong, Deming;  Li, Weigang
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
An Airborne Software FMEA Application Method Based on ARP4761 会议论文
PROCEEDINGS OF THE 2019 3RD INTERNATIONAL CONFERENCE ON MANAGEMENT ENGINEERING, SOFTWARE ENGINEERING AND SERVICE SCIENCES (ICMSS 2019), 2019-01-01
作者:  Ding, Yuxin;  Zhong, Deming;  Xu, Zhi;  Zhao, Yukun;  Sun, Rui
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30
An Airborne Software CMA Application Method Based on ARP4761 会议论文
PROCEEDINGS OF THE 2019 3RD INTERNATIONAL CONFERENCE ON MANAGEMENT ENGINEERING, SOFTWARE ENGINEERING AND SERVICE SCIENCES (ICMSS 2019), 2019-01-01
作者:  Ding, Yuxin;  Zhong, Deming;  Xu, Zhi;  Zhao, Yukun;  Sun, Rui
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
Formal verification of dynamic hybrid systems: a NuSMV-based model checking approach 会议论文
4TH ANNUAL INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATION AND SENSOR NETWORK (WCSN 2017), 2018-01-01
作者:  Xu, Zhi;  Zhong, Deming;  Li, Weigang;  Huang, Hao;  Sun, Yigang
收藏  |  浏览/下载：14/0  |  提交时间：2019/12/30
System States Transition Safety Analysis Method Based on FSM and NuSMV 会议论文
PROCEEDINGS OF THE 2018 2ND INTERNATIONAL CONFERENCE ON MANAGEMENT ENGINEERING, SOFTWARE ENGINEERING AND SERVICE SCIENCES (ICMSS 2018), 2018-01-01
作者:  Ding, Yuxin;  Li, Weigang;  Zhong, Deming;  Huang, Hao;  Zhao, Yukun
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/30
Optimization of Path Blocking of Dangerous Counterexample Based on AHP 会议论文
2018 IEEE 4TH INTERNATIONAL CONFERENCE ON CONTROL SCIENCE AND SYSTEMS ENGINEERING (ICCSSE 2018), 2018-01-01
作者:  Zhao, Yukun;  Zhong, Deming;  Sun, Rui;  Ding, Yuxin
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
Application of Bayesian network in safety analysis on civil aircraft systems 会议论文
26th Conference on European Safety and Reliability (ESREL), Glasgow, SCOTLAND, 2016-09-25
作者:  Wang, Hongli;  Zhong, Deming;  Zhao, Tingdi
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
Improving Accident Causality Analysis Based on STAMP Through Integrating Model Checking 会议论文
Annual Reliability and Maintainability Symposium (RAMS), Orlando, FL, 2017-01-23
作者:  Chen, Lei;  Zhong, Deming;  Jiao, Jian;  Zhao, Tingdi
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
Application of Bayesian network in safety analysis on civil aircraft systems 会议论文
RISK, RELIABILITY AND SAFETY: INNOVATING THEORY AND PRACTICE, 2017-01-01
作者:  Wang, Hongli;  Zhong, Deming;  Zhao, Tingdi
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30

©版权所有 ©2017 CSpace - Powered by CSpace