CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Inference in a mixture additive hazards cure model 期刊论文
STATISTICS AND ITS INTERFACE, 2021, 卷号: 14, 期号: 3, 页码: 323-338
作者:  Han, Dongxiao;  He, Haijin;  Sun, Liuquan;  Song, Xinyuan;  Xu, Wei
收藏  |  浏览/下载：55/0  |  提交时间：2021/04/26
Formal Security Evaluation and Improvement of Industrial Ethernet EtherCAT Protocol 期刊论文
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2020, 卷号: 57, 期号: 11, 页码: 2312-2327
作者:  Feng, Tao;  Wang, Shuaishuai;  Gong, Xiang;  Fang, Junli
收藏  |  浏览/下载：14/0  |  提交时间：2020/12/18
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 卷号: 39, 期号: 3, 页码: 714-727
作者:  Zhang, Ying;  Chakrabarty, Krishnendu;  Peng, Zebo;  Rezine, Ahmed;  Li, Huawei
收藏  |  浏览/下载：19/0  |  提交时间：2020/12/10
Design and model checking of timed automata oriented architecture for Internet of thing 期刊论文
INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2020, 卷号: 16, 期号: 5, 页码: 1-13
作者:  Chen, G (Chen, Guang)[ 1,2,3,4 ];  Jiang, TH (Jiang, Tonghai)[ 1,5 ];  Wang, M (Wang, Meng)[ 1,3,4 ];  Tang, XY (Tang, Xinyu)[ 1,3,4 ];  Ji, WF (Ji, Wenfei)[ 1,2,3,4 ]
收藏  |  浏览/下载：28/0  |  提交时间：2020/07/06
ADDITIVE MEAN RESIDUAL LIFE MODEL WITH LATENT VARIABLES UNDER RIGHT CENSORING 期刊论文
STATISTICA SINICA, 2019, 卷号: 29, 期号: 1, 页码: 47-66
作者:  He, Haijin;  Pan, Deng;  Song, Xinyuan;  Sun, Liuquan
收藏  |  浏览/下载：55/0  |  提交时间：2019/03/05
Analysis of Interrupt Behavior Based on Probabilistic Model Checking 会议论文
7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, 2018-07-08
作者:  Hou, Gang;  Kong, Weiqiang;  Zhou, Kuanjiu;  Wang, Jie;  Cao, Xun
收藏  |  浏览/下载：41/0  |  提交时间：2019/12/02
A Survey of Formal Techniques for Hardware/Software Co-verification 会议论文
7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, 2018-07-08
作者:  Liu, Kun;  Kong, Weiqiang;  Hou, Gang;  Fukuda, Akira
收藏  |  浏览/下载：14/0  |  提交时间：2019/12/02
A Simple Logic Transition Repair Method for Business Process Models via Logic Petri Nets 期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 76628-76644
作者:  Teng, Yuanxiu;  Du, Yuyue;  Qi, Liang;  Luan, Wenjing;  Wang, Lu
收藏  |  浏览/下载：10/0  |  提交时间：2019/12/11
Process model correction method for cyclic concurrent structure [循环并发结构的过程模型修正方法] 期刊论文
Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2019, 卷号: 25, 期号: 4, 页码: 882-893
作者:  Teng, Yuanxiu;  Du, Yuyue;  Wang, Lu
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/11
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

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