中国科学院计算技术研究所机构知识库(CSpace): 检索

浏览/检索结果: 共4条，第1-4条

帮助

已选(0)清除条数/页：排序方式：
	无权访问的条目期刊论文作者: 徐勇军; 张伸; 张志敏; 李晓维 Adobe PDF(378Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/11/23
	无权访问的条目期刊论文作者: 胡瑜; 韩银和; 李晓维 Adobe PDF(487Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/10/14
	基于CTL的SOCIP核的测试技术期刊论文计算机工程与科学, 2005, 卷号: 27.0, 期号: 004, 页码: 43 作者: 吴明行; 韩银和; 李晓维收藏 \| 浏览/下载：5/0 \| 提交时间：2023/12/04 核测试语言 CTL语言 SOCIP核测试技术程序语言
	无权访问的条目期刊论文作者: 胡瑜; 韩银和; 李晓维 Adobe PDF(223Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/03/30

中国科学院计算技术研究所机构知识库