CORC

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

已选(0)清除 条数/页:   排序方式:
A Hazard Analysis Method for Software-Controlled Systems Based on System-Theoretic Accident Modeling and Process 会议论文
Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS, 2018-11-23
作者:  Zhu, D.;  Yao, S.
收藏  |  浏览/下载:10/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
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
带电粒子胶体体系经由亚稳态结晶的分子动力学研究 学位论文
北京: 中国科学院大学, 2018
作者:  纪鑫强
收藏  |  浏览/下载:40/0  |  提交时间:2018/05/28
A Hazard Analysis Method for Software-Controlled Systems Based on System-Theoretic Accident Modeling and Process 会议论文
PROCEEDINGS OF 2018 IEEE 9TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2018-01-01
作者:  Zhu, Danjiang;  Yao, Shuzhen
收藏  |  浏览/下载:5/0  |  提交时间:2019/12/30
光学薄膜重频多脉冲损伤实验和机制研究 学位论文
博士: 中国科学院上海光学精密机械研究所, 2015
作者:  刘文文
收藏  |  浏览/下载:29/0  |  提交时间:2016/11/28
高功率激光驱动器谐波转换与精密诊断测量研究 学位论文
博士: 中国科学院上海光学精密机械研究所, 2014
作者:  季来林
收藏  |  浏览/下载:38/0  |  提交时间:2016/11/28
非线性系统最优控制的自适应动态规划方法及应用 学位论文
工学博士, 中国科学院自动化研究所: 中国科学院大学, 2013
作者:  黄玉柱
收藏  |  浏览/下载:485/0  |  提交时间:2015/09/02


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