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

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

帮助

条数/页：排序方式：
	并发数据结构的归约和验证学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2016 王超 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2016/06/01 多核并发数据结构可线性化内存模型可判定性量化松散框架等价刻画数据独立
	面向无穷数据的形式模型综述期刊论文 OAI收割软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690 宋富; 吴志林 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2016/12/09 无穷数据自动机逻辑非空性语言包含可满足性可判定性复杂性
	基于属性的远程证明模型期刊论文 OAI收割通信学报, 2010, 卷号: 31, 期号: 8, 页码: 40551 于爱民; 冯登国; 汪丹 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2011/05/23 基于属性的远程证明信任图可信策略可判定性property based remote attestation trust graph trusted policy decidability
	无穷状态系统互模拟判定算法学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院研究生院, 2008 陈海燕 \| 收藏 \| 浏览/下载：33/0 \| 提交时间：2011/03/17 互模拟等价 BPA BPP 可判定 Tableau 关系最粗划分
	动态描述逻辑的Tableau判定算法期刊论文 OAI收割计算机学报, 2008, 期号: 第6期, 页码: 896—909 作者: 常亮; 史忠植; 邱莉榕; 林芬 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/10/19 动态描述逻辑动作理论可满足性问题 Tableau算法可判定性
	动态描述逻辑的Tableau判定算法期刊论文 OAI收割计算机学报, 2008, 卷号: 31.0, 期号: 006, 页码: 896 作者: 常亮; 史忠植; 邱莉榕; 林芬 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 动态描述逻辑动作理论可满足性问题 Tableau算法可判定性
	反应系统的连续时序逻辑表示和验证期刊论文 OAI收割计算机学报, 2003, 卷号: 26, 期号: 11 李广元; 唐稚松 \| 收藏 \| 浏览/下载：7/0 \| 提交时间：2010/08/26 反应系统公平转换系统时序逻辑性质验证可判定性
	面向传值进程的一阶模态逻辑的可判定性与模型检测期刊论文 OAI收割中国科学E辑, 2003, 卷号: 33, 期号: 2, 页码: 97-110 薛锐; 林惠民 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2010/08/24 一阶模态逻辑可判定性模型检测传值进程
	LTLC:面向实时与混成系统的连续时序逻辑学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001 李广元收藏 \| 浏览/下载：26/0 \| 提交时间：2011/03/17 实时系统混成系统时序逻辑实时逻辑规范语言系统刻画语言可满足性可判定性模型检查