CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
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 Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges 期刊论文
IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, 2019, 卷号: 21, 页码: 940-969
作者:  Li, Yahui;  Yin, Xia;  Wang, Zhiliang;  Yao, Jiangyuan;  Shi, Xingang
收藏  |  浏览/下载：13/0  |  提交时间：2019/12/30
Testing-based Model Learning Approach for Legacy Components 会议论文
PROCEEDINGS OF 2019 16TH INTERNATIONAL BHURBAN CONFERENCE ON APPLIED SCIENCES AND TECHNOLOGY (IBCAST), 2019-01-01
作者:  Ali, Shahbaz;  Sun, Hailong;  Zhao, Yongwang;  Akram, Naveed
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/30
Formal Verification of Security Protocols Using Spin 会议论文
15th IEEE/ACIS International Conference on Computer and Information Science (ICIS), 2016-06-26
作者:  Chen, Shengbo[1];  Fu, Hao[2];  Miao, Huaikou[3]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26
Compare of formal analysis and testing for verification of safety-critical systems: A case study 会议论文
2013 International Conference on Advances in Materials Science and Manufacturing Technology, AMSMT 2013, Xiamen, Fujian, China, 2013-05-18
作者:  Zhang, Juan;  Li, Guo Qi;  Liu, Xiao
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06
基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏  |  浏览/下载：17/0  |  提交时间：2012/06/13
Reachability analysis of Web service compositions via NWA 期刊论文
2010, 2010
Du Xutao; Xing Chunxiao; Zhou Lizhu
收藏  |  浏览/下载：7/0
Parallel software model checking 期刊论文
2010, 2010
Kuang Hong-bin; Luo Gui-ming
收藏  |  浏览/下载：3/0
Design of an ASIC verification system with dual PCI interface 期刊论文
2010, 2010
He Yan; Li Shu-guo; Yang Xing-zi
收藏  |  浏览/下载：2/0
A method to improve software testability 会议论文
Proceedings. 15th International Conference on Software Engineering and Data Engineering (SEDE-2006), Proceedings. 15th International Conference on Software Engineering and Data Engineering (SEDE-2006), Los Angeles, CA, USA, INSPEC
Yuanping Li; Jianmin Wang; Liang Zhao
收藏  |  浏览/下载：2/0

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