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

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

帮助

条数/页：排序方式：
	等角航线正反解算的符号表达式期刊论文 OAI收割大连海事大学学报, 2008, 期号: 2, 页码: 15-18 李厚朴; 边少锋收藏 \| 浏览/下载：29/0 \| 提交时间：2012/02/12 航海学等角航线正反解算符号形式
	一个并发传值系统自动验证工具的图形界面实现学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003 肖颖奇收藏 \| 浏览/下载：23/0 \| 提交时间：2011/03/17 形式化方法模型检测并发传值系统带赋值符号迁移图仿真
	井发传值进程模型检测工具的数据类型扩展学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003 张轶收藏 \| 浏览/下载：18/0 \| 提交时间：2011/03/17 形式化方法模型检侧并发传值进程复杂数据类型传值CCS 带赋值符号迁移图
	基于BDD的组合电路等价性检验方法期刊论文 OAI收割微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 48 作者: 李光辉; 邵明; 李晓维 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 BDD 形式验证等价性检验符号模拟三叉判决图组合电路专用集成电路
	基于T3BDD的动态模型检查S 期刊论文 OAI收割软件学报, 1999, 卷号: 10, 期号: 10 倪彬; 冯玉琳; 黄涛 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/08/20 组件 JavaBeans 形式规范符号化模型检查二叉判定图