CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
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
面向模型检查的NuSMV统一建模方法 期刊论文
系统工程与电子技术, 2018, 卷号: 40, 页码: 1654-1659
作者:  陈露;  焦健;  魏钱锌
收藏  |  浏览/下载：1/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
收藏  |  浏览/下载：10/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
一种基于NuSMV的访问控制规则的覆盖性检测方法 专利
申请日期: 2017-01-01, 公开日期: 2017-07-14
作者:  刘志锋[1];  陈凯[2];  周从华[3];  李雷[4];  施化吉[5]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/24
An Optimized Method for Generating Fault Tree from a Counter-example 会议论文
ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM 2016 PROCEEDINGS, 2016-01-01
作者:  Wei, Qianxin;  Jiao, Jian;  Fan, Jiping;  Zhao, Tingdi
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30
A Fault Propagation Modeling and Analysis Method Based on Model Checking 会议论文
ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM 2016 PROCEEDINGS, 2016-01-01
作者:  Chen, Lu;  Jiao, Jian;  Fan, Jiping;  Ren, Fuchun
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30
An integrated framework of formal methods for interaction behaviors among industrial equipments 期刊论文
MICROPROCESSORS AND MICROSYSTEMS, 2015, 卷号: 39, 期号: 8, 页码: 1296-1304
Deng, P; Ren, G; Yuan, W; Chen, F; Hua, QS
收藏  |  浏览/下载：16/0  |  提交时间：2016/12/13
A Formal Approach to Causal Analysis based on STAMP (CAST) 会议论文
PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015-01-01
作者:  Yang, Qibo;  Tian, Jin
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06
A Model-Checking Oriented Modeling Method for Safety Critical System 会议论文
PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015-01-01
作者:  Fan, Jiping;  Jiao, Jian;  Wu, Wenbo;  Zhao, Tingdi
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06

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