中国科学院机构知识库网格系统: 检索

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

帮助

条数/页：排序方式：
	基于抽象解释的代码迷惑有效性比较框架期刊论文 OAI收割计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814 高鹰; 陈意云收藏 \|
	面向装备联勤保障的约束程序设计框架期刊论文 OAI收割南京大学学报（自然科学版）, 2005, 卷号: 41, 期号: z1, 页码: 30-34 郑宇军; 王连来; 薛锦云 \| 收藏 \|
	一种面向测试的RTL行为抽象与蕴含方法期刊论文 OAI收割同济大学学报：自然科学版, 2002, 卷号: 30.0, 期号: 010, 页码: 1199 作者: 尹志刚; 李华伟; 李晓维 \| 收藏 \|
	可视化软件体系结构描述工具XYZ/ADL的设计与实现期刊论文 OAI收割重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹 \| 收藏 \|
	基于XYZ的多媒体抽象与建模研究学位论文 OAI收割博士, 中国科学院软件研究所（北京 100080）: 中国科学院软件研究所（北京 100080）, 1998 唐小平收藏 \|