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

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

帮助

条数/页：排序方式：
	航天嵌入式操作系统的分析与验证期刊论文 OAI收割载人航天, 2012, 卷号: 18, 期号: 6, 页码: 69-74 李斌; 马越; 李潇; 刘剑 \| 收藏 \|
	基于OFDM-UWB的室内精密定位系统接收机时域联合同步算法研究会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 邹德财; 李云; 韩涛; 刘枫收藏 \|
	参数化系统安全性的启发式符号验证期刊论文 OAI收割软件学报, 2009, 卷号: 20, 期号: 6, 页码: 1444-1456 杨秋松; 李明树 \| 收藏 \|
	时间符号迁移图上的可达性分析期刊论文 OAI收割计算机学报, 2003, 卷号: 26, 期号: 1, 页码: 19-25 陈靖 \| 收藏 \|
	基于BDD的组合电路等价性检验方法期刊论文 OAI收割微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 48 作者: 李光辉; 邵明; 李晓维 \| 收藏 \|
	带赋值符号迁移图的局部优化算法期刊论文 OAI收割计算机研究与发展, 2000, 卷号: 37, 期号: 1, 页码: 95 方海; 许文; 林惠民 \| 收藏 \|