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

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

帮助

条数/页：排序方式：
	带时间约束的LTL性质的模型检测的实现期刊论文 OAI收割计算机工程与设计, 2011, 期号: 2, 页码: 564-567 部德振收藏 \|
	对时间自动机进行空性检测的过程和改进期刊论文 OAI收割计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯收藏 \|
	实时系统非空性模型检测工具及技术学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 彭云全收藏 \|
	基于SCC空性检测中状态空间的缩减方法期刊论文 OAI收割计算机学报, 2008, 卷号: 31, 期号: 6, 页码: 979-988 晏荣杰; 张文亮; 唐稚松 \| 收藏 \|
	一种基于离散时间自动机的LTL性质检测工具期刊论文 OAI收割计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全收藏 \|
	离散时间自动机模型检测工具的设计与实现学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 张文亮收藏 \|