中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共16条，第1-10条 帮助

条数/页： 排序方式：
线性时序逻辑转换Buchi自动机的按需即时算法 期刊论文  OAI收割
清华大学学报. 自然科学版, 2014, 卷号: 54, 期号: 2, 页码: 281-288
单来祥; 覃征; 卢欣晔; 卢正才
  |  收藏  |  浏览/下载：34/0  |  提交时间：2014/12/16
基于带赋值符号迁移图的Monte Carlo模型检测 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2012
马明
  |  收藏  |  浏览/下载：23/0  |  提交时间：2012/06/13
带时间约束的LTL性质的模型检测的实现 期刊论文  OAI收割
计算机工程与设计, 2011, 期号: 2, 页码: 564-567
部德振
收藏  |  浏览/下载：21/0  |  提交时间：2011/10/10
卫命令模型检测工具的设计与实现 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2010
王绍春
  |  收藏  |  浏览/下载：27/0  |  提交时间：2010/06/07
时间自动机的LTL性质模型检测研究 期刊论文  OAI收割
计算机仿真, 2009, 卷号: 26, 期号: 5
彭云全; 魏绪凯; 李广元
  |  收藏  |  浏览/下载：8/0  |  提交时间：2010/08/26
直觉线性μ-演算中的合成推理 期刊论文  OAI收割
软件学报, 2009, 卷号: 20, 期号: 8
张文辉
  |  收藏  |  浏览/下载：10/0  |  提交时间：2010/08/24
直觉线性μ-演算 期刊论文  OAI收割
软件学报, 2008, 卷号: 19, 期号: 12
张文辉
  |  收藏  |  浏览/下载：14/0  |  提交时间：2010/08/24
一种基于离散时间自动机的LTL性质检测工具 期刊论文  OAI收割
计算机仿真, 2008, 期号: 4, 页码: 80-83
张文亮; 彭云全
收藏  |  浏览/下载：69/2  |  提交时间：2011/06/10
命题线性时序逻辑的对偶模型问题的复杂性 期刊论文  OAI收割
软件学报, 2007, 卷号: 18, 期号: 7
吴志林; 张文辉
  |  收藏  |  浏览/下载：10/0  |  提交时间：2010/08/24
UML活动图的时序逻辑语义 期刊论文  OAI收割
计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484
朱雪阳; 唐稚松
  |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/28