CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Evidence-aware Fake News Detection with Graph Neural Networks 会议论文
Lyon, France, 2022-4-22
作者:  Xu WZ(许伟志);  Junfei Wu;  Qiang Liu;  Shu Wu;  Liang Wang
收藏  |  浏览/下载：0/0  |  提交时间：2023/06/26
Modeling Inter-Claim Interactions for Verifying Multiple Claims 会议论文
线上, 2021年11月
作者:  Wang S(王帅);  Mao WJ(毛文吉)
收藏  |  浏览/下载：11/0  |  提交时间：2022/07/01
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
An Empirical Study of Open Source Flight Control Software Program Model Checking 会议论文
19th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2019, Sofia, Bulgaria, 2019-07-22
作者:  Cao, Zhiqin;  Yin, Jinyu;  Wang, Yichen;  Li, Yu;  Zhang, Jintao
收藏  |  浏览/下载：4/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
Application software front-end modeling, verification and case based on the Interface Window Tree 会议论文
Proceedings of 2018 IEEE International Conference of Safety Produce Informatization, IICSPI 2018, 2018-12-10
作者:  Li, Y.;  Lv, J.;  Ma, S.;  Xia, Q.;  Wuniri, Q.
收藏  |  浏览/下载：12/0  |  提交时间：2019/12/30
Evaluating the Reliability of Blockchain Based Internet of Things Applications 会议论文
作者:  Liu, Ying;  Zheng, Kai;  Craig, Paul;  Li, Yuexuan;  Luo, Yangkai
收藏  |  浏览/下载：5/0  |  提交时间：2019/11/19
Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components 会议论文
29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018, Memphis, TN, United states, 2018-10-15
作者:  Ding, Zuohua;  Jiang, Wenjie;  Jiang, Mingyue;  Jin, Zhi;  Jiang, He
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/02
Verification Model Translation Method toward Behavior Model for CAST 会议论文
2018 5TH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA), 2018-01-01
作者:  Ando, Takahiro;  Wang, Bo;  Hisazumi, Kenji;  Kong, Weiqiang;  Fukuda, Akira
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/02

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