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

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

帮助

条数/页：排序方式：
	带复杂数据结构的模型检测工具期刊论文 OAI收割计算机研究与发展, 2004, 卷号: 41, 期号: 11, 页码: 1990-1999 张轶; 林惠民 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/08/24 模型检测传值进程带赋值符号迁移图谓词μ演算复杂数据结构 model-checking value-passing process STGA predicate μ-calculus non-trivial data structures
	基于STGA的并发程序测试学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 唐江峻收藏 \| 浏览/下载：31/0 \| 提交时间：2011/03/17 软件测试并发程序传值进程带赋值符号迁移系统标号迁移系统
	面向传值进程的一阶模态逻辑的可判定性与模型检测期刊论文 OAI收割中国科学E辑, 2003, 卷号: 33, 期号: 2, 页码: 97-110 薛锐; 林惠民 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2010/08/24 一阶模态逻辑可判定性模型检测传值进程
	井发传值进程模型检测工具的数据类型扩展学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003 张轶收藏 \| 浏览/下载：16/0 \| 提交时间：2011/03/17 形式化方法模型检侧并发传值进程复杂数据类型传值CCS 带赋值符号迁移图
	面向传值进程的谓词μ-演算与FO(HML)的完备推演系统期刊论文 OAI收割计算机学报, 2002, 卷号: 25, 期号: 6 薛锐; 林惠民 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2010/08/24 传值进程 μ-演算模型检测 Tableau 推演完备
	带赋值符号迁移图的局部优化算法期刊论文 OAI收割计算机研究与发展, 2000, 卷号: 37, 期号: 1, 页码: 95 方海; 许文; 林惠民 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/08/24 进程代数传值进程符号互模拟验证算法
	嵌套谓词等式系与弱互模拟期刊论文 OAI收割软件学报, 1999, 卷号: 10, 期号: 11, 页码: 1121 林惠民 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2010/08/24 传值进程互模拟谓词等式系
	传值系统的互模拟与谓词等式系期刊论文 OAI收割计算机学报, 1998, 卷号: 21, 期号: 2, 页码: 97 林惠民 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2010/08/24 传值进程互模拟谓词等式系