CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
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
Probabilistic Failure Modes and Effects Analysis for Electromechanical Systems Based on Formal Method 期刊论文
Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2018, 卷号: 52, 页码: 1-7
作者:  Yang, Peilin;  Hou, Yi;  Xu, Kai;  Jia, Huanru
收藏  |  浏览/下载：4/0  |  提交时间：2019/11/19
Applying Probabilistic Model Checking to Financial Production Risk Evaluation and Control: A Case Study of Alibaba's Yu'e Bao 期刊论文
IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2018, 卷号: 5, 页码: 785-795
作者:  Gao, Honghao[1];  Mao, Shunyi[2];  Huang, Wanqiu[3];  Yang, Xiaoxian[4]
收藏  |  浏览/下载：12/0  |  提交时间：2019/04/22
Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective 期刊论文
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2018, 卷号: 28, 页码: 1369-1397
作者:  Gao, Honghao[1];  Miao, Huaikou[2];  Liu, Lilan[3];  Kai, Jinyu[4];  Zhao, Kun[5]
收藏  |  浏览/下载：14/0  |  提交时间：2019/04/22
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates 期刊论文
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 卷号: 16, 页码: 19
作者:  Huang, Chao;  Chen, Xin;  Lin, Wang;  Yang, Zhengfeng;  Li, Xuandong
收藏  |  浏览/下载：8/0  |  提交时间：2018/07/30
Reachability in Fuzzy Game Graphs 期刊论文
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2017
Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Li, Dechao
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
Probabilistic Model Checking-Based Service Selection Method for Business Process Modeling 期刊论文
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2017, 卷号: 27, 页码: 897-923
作者:  Gao, Honghao[1];  Chu, Danqi[2];  Duan, Yucong[3];  Yin, Yuyu[4]
收藏  |  浏览/下载：10/0  |  提交时间：2019/04/24
Reliability Evaluation for Distribution System Based on Probabilistic Model Checking 会议论文
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017-01-01
作者:  Feng, Chao;  Zhang, Hong;  Yan, Shuai;  Fui, Yangzhen;  Ba, Xiaohong
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/30
Reliability evaluation for distribution system based on probabilistic model checking 会议论文
2nd International Conference on Reliability Systems Engineering, ICRSE 2017, Huairou, Beijing, China, 2017-07-10
作者:  Feng, Chao;  Zhang, Hong;  Yan, Shuai;  Fu, Yangzhen;  Bao, Xiaohong
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
基于视觉的铝电解槽机器人自主抓取作业的关键技术研究 学位论文
工学博士, 北京: 中国科学院研究生院, 2016
作者:  郑晶怡
收藏  |  浏览/下载：136/0  |  提交时间：2017/01/13

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