机构

• 软件研究所 [3]

采集方式

• OAI收割 [3]

内容类型

• 会议论文 [2]
• 期刊论文 [1]

发表日期

• 2007 [2]
• 2004 [1]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols 会议论文  OAI收割 22nd ACM Symposium on Applied Computing, Seoul, SOUTH KOREA, MAR 11-15, Li Yongjian   |  收藏  |   computing invariants for parameter abstraction 会议论文  OAI收割 ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN Lv Yi; Lin Huimin; Pan Hong   |  收藏  |   automatic generation of symbolic model for parameterized synchronous systems 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 卷号: 19, 期号: 6, 页码: 812-819 Xu WW   |  收藏  |