机构

• 软件研究所 [6]
• 中国科学院大学 [1]

采集方式

• OAI收割 [6]
• iSwitch采集 [1]

内容类型

• 期刊论文 [4]
• 会议论文 [3]

发表日期

• 2011 [1]
• 2010 [1]
• 2006 [1]
• 2005 [3]
• 2003 [1]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共7条，第1-7条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 efficient loop-extended model checking of data structure methods 会议论文  OAI收割 Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Jeju Island, Korea, Republic of, FGIT 2011 Yi Qiuping; Liu Jian; Shen Wuwei   |  收藏  |   对时间自动机进行空性检测的过程和改进 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯 收藏  |   model checking data consistency for cache coherence protocols 期刊论文  OAI收割 Springer New York LLC, 2006, 卷号: 21, 期号: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, 页码: 765-775 Pan Hong; Lin Huimin; Lv Yi   |  收藏  |   extended symbolic transition graphs with assignment 会议论文  OAI收割 29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28, Deng WJ; Lin HM   |  收藏  |   symbolic model checking of finite precision timed automata 会议论文  OAI收割 2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21, Yan RJ; Li GY; Tang ZS   |  收藏  |   Symbolic model checking of finite precision timed automata 期刊论文  iSwitch采集 Theoretical aspects of computing - ictac 2005, 2005, 卷号: 3722, 页码: 272-287 作者:  Yan, RJ;  Li, GY;  Tang, ZS 收藏  |   模型检测新技术研究 期刊论文  OAI收割 计算机科学, 2003, 卷号: 30, 期号: 5, 页码: 102-104 戎玫; 张广泉   |  收藏  |