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

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

帮助

条数/页：排序方式：
	代数处理器加速核编程模型研究和实现学位论文 OAI收割北京: 中国科学院研究生院, 2018 作者: 杨磊 \| 收藏 \|
	基于模型匹配的光电侦察无人机飞行控制器设计方法期刊论文 OAI收割红外与激光工程, 2015, 期号: 02, 页码: 693-698 作者: 李艳辉; 厉明; 周凌; 张楠收藏 \|
	可信密码模块符合性测试方法与实施期刊论文 OAI收割武汉大学学报(理学版), 2009, 期号: 1, 页码: 31-34 李昊; 冯登国; 陈小峰 \| 收藏 \|
	功能块形式化建模与测试序列生成方法研究期刊论文 OAI收割仪器仪表学报, 2007, 卷号: 28, 期号: S, 页码: 755-757 作者: 王宏; 张连领; 于海斌; 王忠锋 \| 收藏 \|
	信息系统生存性分析模型研究期刊论文 OAI收割通信学报, 2006, 期号: 2, 页码: 153-159 作者: 林雪纲; 许榕生收藏 \|
	基于RTL行为模型的测试产生及时延测试方法期刊论文 OAI收割中国科学院研究生院学报, 2002, 卷号: 19.0, 期号: 002, 页码: 198 作者: 李华伟 \| 收藏 \|
	有限状态机的行为阶段聚类及其对测试的应用期刊论文 OAI收割中国科学：E辑, 2002, 卷号: 32.0, 期号: 006, 页码: 846 作者: 李华伟; 闵应骅; 李忠诚 \| 收藏 \|