CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Velocity structure of sedimentary formation in the South Yellow Sea Basin based on OBS data 期刊论文
CHINESE JOURNAL OF GEOPHYSICS-CHINESE EDITION, 2019, 卷号: 62, 期号: 1, 页码: 183-196
作者:  Zhao WeiNa;  Zhang XunHua;  Zou ZhiHui;  Wu ZhiQiang;  Hao TianYao
收藏  |  浏览/下载：68/0  |  提交时间：2019/03/21
Velocity structure of sedimentary formation in the South Yellow Sea Basin based on OBS data 期刊论文
CHINESE JOURNAL OF GEOPHYSICS-CHINESE EDITION, 2019, 卷号: 62, 期号: 1, 页码: 183-196
作者:  Zhao WeiNa;  Zhang XunHua;  Zou ZhiHui;  Wu ZhiQiang;  Hao TianYao
收藏  |  浏览/下载：52/0  |  提交时间：2019/08/28
An novel approach to evaluate the reliability of cloud rendering system using probabilistic model checker PRISM: A quantitative computing perspective 会议论文
14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2017, 2017-11-07
作者:  Liu, Haoyu[1];  Xu, Huahu[2];  Gao, Honghao[3];  Bian, Minjie[4];  Miao, Huaikou[5]
收藏  |  浏览/下载：11/0  |  提交时间：2019/04/24
Concurrent Algorithms in SPIN Model Checker 其他
2016-01-01
Nawaz, M. Saqib; Ali, Hussam; Lali, M. IkramUllah
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Towards Concolic Testing for Hybrid Systems 其他
2016-01-01
Kong, Pingfan; Li, Yi; Chen, Xiaohong; Sun, Jun; Sun, Meng; Wang, Jingyi
收藏  |  浏览/下载：9/0  |  提交时间：2017/12/03
Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service 期刊论文
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 卷号: 26, 页码: 563-585
作者:  Li, Xiaohong[1];  Xu, Jiayi[2];  Xu, Guangquan[3];  Hao, Jianye[4];  Li, Xiaoru[5]
收藏  |  浏览/下载：13/0  |  提交时间：2019/04/26
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC 期刊论文
JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 2016, 卷号: 31, 页码: 61-74
作者:  Kong, Weiqiang;  Hou, Gang;  Hu, Xiangpei;  Ando, Takahiro;  Hisazumi, Kenji
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/09
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
收藏  |  浏览/下载：15/0  |  提交时间：2016/12/13
Simulated impact of sensor field of view and distance on field measurements of bidirectional reflectance factors for row crops 期刊论文
REMOTE SENSING OF ENVIRONMENT, 2015, 卷号: 156
作者:  Zhao, Feng;  Li, Yuguang;  Dai, Xu;  Verhoef, Wout;  Guo, Yiqing
收藏  |  浏览/下载：20/0  |  提交时间：2016/04/20
Garakabu2: an SMT-based Bounded Model Checker for HSTM Designs in ZIPC 会议论文
2nd International Symposium on Dependable Computing and Internet of Things (DCIT), Wuhan, PEOPLES R CHINA
作者:  Kong, Weiqiang;  Ando, Takahiro;  Yatsu, Hirokazu;  Hisazumi, Kenji;  Fukuda, Akira
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/09

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