机构

• 软件研究所 [8]
• 新疆生态与地理研究所 [2]
• 计算技术研究所 [1]
• 遥感与数字地球研究所 [1]
• 合肥物质科学研究院 [1]

采集方式

• OAI收割 [13]

内容类型

• 会议论文 [7]
• 期刊论文 [6]

发表日期

• 2021 [1]
• 2019 [1]
• 2014 [1]
• 2012 [1]
• 2011 [2]
• 2010 [2]
• 更多

学科主题

• Computer S... [3]
• Engineerin... [1]
• Hardware &... [1]
• Software ... [1]

筛选

浏览/检索结果: 共13条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Preliminary design of real-time plasma control system for CFETR 期刊论文  OAI收割 FUSION ENGINEERING AND DESIGN, 2021, 卷号: 173 作者:  Yuan, Q. P.;  Guo, H. R.;  Yan, L. L.;  Huang, Z. M.;  Huang, J. J.   |  收藏  |   Dynamic Packet Forwarding Verification in SDN 期刊论文  OAI收割 IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2019, 卷号: 16, 期号: 6, 页码: 915-929 作者:  Li, Qi;  Zou, Xiaoyue;  Huang, Qun;  Zheng, Jing;  Lee, Patrick P. C.   |  收藏  |   带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |   电子政务软件可靠性评测方法初探 期刊论文  OAI收割 Computer Applications and Software, 2012, 卷号: 29, 期号: 3, 页码: 41037 陈心光; 刘彦斌   |  收藏  |   automatic verification of optimization algorithms: a case study of a quadratic assignment problem solver 期刊论文  OAI收割 International Journal of Software Engineering and Knowledge Engineering, 2011, 卷号: 21, 期号: 2, 页码: 289-307 Merkel Robert; Wang Daoming; Lin Huimin; Chen Tsong Yueh   |  收藏  |   A practical approach to assertion testing framework based on inner class 会议论文  OAI收割 2011 IEEE 2nd International Conference on Software Engineering and Service Science, ICSESS 2011,, Beijing, China, July 15, 2011 - July 17,2011 Qu, Guodong; Guo, Song-Tao; Zhang, Hongqun 收藏  |   model checking a secure hypervisor 会议论文  OAI收割 Wuhan Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang   |  收藏  |   quantitative analysis of requirements evolution across multiple versions of an industrial software product 会议论文  OAI收割 17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850 Hailong Wang; Juan Li; Qing Wang; Ye Yang   |  收藏  |   improved bounded model checking for the universal fragment of ctl 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 1, 页码: 96-109 Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui   |  收藏  |   Research on a scalable parallel data mining algorithm 会议论文  OAI收割 5th International Joint Conference on INC, IMS, and IDC, Seoul, Korea, Republic of, 2009 Wang; Jinlin1; 2; Chen; Xi1; Zhou; Kefa1 收藏  |