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

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

帮助

条数/页：排序方式：
	带时间约束的LTL性质的模型检测的实现期刊论文 OAI收割计算机工程与设计, 2011, 期号: 2, 页码: 564-567 部德振收藏 \| 浏览/下载：20/0 \| 提交时间：2011/10/10 时间自动机模型检测线性时序逻辑性质时间约束空性检测
	对时间自动机进行空性检测的过程和改进期刊论文 OAI收割计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯收藏 \| 浏览/下载：21/0 \| 提交时间：2011/05/23 时间自动机模型检测符号化方法抽象方法空性检测 LTL性质timed automata model checking symbolic method abstraction emptiness checking LTL
	实时系统非空性模型检测工具及技术学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 彭云全收藏 \| 浏览/下载：20/0 \| 提交时间：2011/03/17 实时系统二叉判定图非空性模型检测
	基于SCC空性检测中状态空间的缩减方法期刊论文 OAI收割计算机学报, 2008, 卷号: 31, 期号: 6, 页码: 979-988 晏荣杰; 张文亮; 唐稚松 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/06/10 空性检测基于迁移的扩展Büchi自动机可接受条件检测算法状态空间强连通图深度优先搜索最坏情况优势结合搜索算法接受条件检测过程布尔变量自动机性能迁移内存扩展标识Cellular radio systems Ketones
	一种基于离散时间自动机的LTL性质检测工具期刊论文 OAI收割计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全收藏 \| 浏览/下载：67/2 \| 提交时间：2011/06/10 离散时间自动机非空性检测线性时序逻辑性质时间自动机检测工具 Timed Automata 状态空间爆炸线性时序逻辑利用模型指数增长压缩存储性质验证系统规模时间空间检测效果检测速度检测过程检测方法存储延迟效率算法实验技术
	离散时间自动机模型检测工具的设计与实现学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 张文亮收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/17 实时系统可达性二叉判定图非空性模型检测