CORC

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

已选(0)清除 条数/页:   排序方式:
Integrating Model Checking With SysML in Complex System Safety Analysis 期刊论文
IEEE Access, 2019, 卷号: Vol.7, 页码: 16561-16571
作者:  Hongli Wang;  Deming Zhong;  Tingdi Zhao;  Fuchun Ren
收藏  |  浏览/下载:7/0  |  提交时间:2019/12/17
Integrating Model Checking With SysML in Complex System Safety Analysis 期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 16561-16571
作者:  Wang, Hongli;  Zhong, Deming;  Zhao, Tingdi;  Ren, Fuchun
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/30
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
Formal system interactive failure analysis method based on systems theoretic process analysis model 期刊论文
ENGINEERING FAILURE ANALYSIS, 2019, 卷号: 106
作者:  Sun, Rui;  Zhong, Deming;  Li, Weigang
收藏  |  浏览/下载:15/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
Avionics system failure analysis and verification based on model checking 期刊论文
ENGINEERING FAILURE ANALYSIS, 2019, 卷号: 105, 页码: 373-385
作者:  Wang, Hongli;  Zhong, Deming;  Zhao, Tingdi
收藏  |  浏览/下载:5/0  |  提交时间:2019/12/30
Evaluation of Tolerability, Pharmacokinetics and Pharmacodynamics of Vicagrel, a Novel P2Y12 Antagonist, in Healthy Chinese Volunteers 期刊论文
FRONTIERS IN PHARMACOLOGY, 2018, 卷号: 9
作者:  Li, Xiaojiao;  Liu, Ca;  Zhu, Xiaoxue;  Wei, Haijing;  Zhang, Hong
收藏  |  浏览/下载:56/0  |  提交时间:2019/01/08
Evaluation of Tolerability, Pharmacokinetics and Pharmacodynamics of Vicagrel, a Novel P2Y12 Antagonist, in Healthy Chinese Volunteers 期刊论文
FRONTIERS IN PHARMACOLOGY, 2018, 卷号: 9
作者:  Li, Xiaojiao;  Liu, Ca;  Zhu, Xiaoxue;  Wei, Haijing;  Zhang, Hong
收藏  |  浏览/下载:15/0  |  提交时间:2019/12/05


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