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

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

帮助

条数/页：排序方式：
	Java内存模型的动静态结合验证方法学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2018 作者: 李亮 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2018/06/28 Java内存模型动态验证静态分析验证工具
	基于贝叶斯网络的脆弱性状态评估方法期刊论文 OAI收割中国科学院研究生院学报, 2008, 卷号: 25, 期号: 5, 页码: 639-648 陈思思; 连一峰; 贾炜 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/06/10 脆弱性评估评估指标贝叶斯网络量化评估脆弱性安全状态评估方法 Bayesian networks 评估指标集网络安全性计算方法量化分析方法网络可靠度最小路集最小割集验证工具网络攻击算法评估问题分析验证安全模型安全领域
	一种基于离散时间自动机的LTL性质检测工具期刊论文 OAI收割计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全收藏 \| 浏览/下载：64/2 \| 提交时间：2011/06/10 离散时间自动机非空性检测线性时序逻辑性质时间自动机检测工具 Timed Automata 状态空间爆炸线性时序逻辑利用模型指数增长压缩存储性质验证系统规模时间空间检测效果检测速度检测过程检测方法存储延迟效率算法实验技术
	一种弹性的软件过程模型验证工具期刊论文 OAI收割计算机工程与设计, 2007, 期号: 7, 页码: 1497-1500 胡旷; 董广智; 田勇; 柳军飞收藏 \| 浏览/下载：57/6 \| 提交时间：2011/07/01 软件过程过程模型验证工具语义规则可扩展标记语言
	对一类多级安全模型安全性的形式化分析期刊论文 OAI收割计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超 \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2011/07/13 BLP模型 MLS策略安全不变式 Z语言 Z/EVES定理证明器多级安全模型安全性形式化分析不变式验证模型形式化规范验证工具系统安全策略表述形式分析表语言思想理论客体方法Computer programming languages Formal languages Functions Mathematical models Security of data Security systems Specifications Theorem prov
	基于模型检查实现J2EE规范的实例研究期刊论文 OAI收割计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254 李彦; 张文博; 陈宁江 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/13 J2EE规范模型检查 SPIN 基于模型检查工具规范要求 Model Checking 应用服务器描述方式设计方案兼容性测试形式化模型分析与验证自然语言证明使用模型技术设计规范描述规范方法多层应用中科院分布式二义性
	基于SPIN/Promela的并发系统验证期刊论文 OAI收割计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208 肖美华; 薛锦云 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2011/07/29 模型检测并发系统软件可靠性 SPIN/Promela 形式化验证并发系统逻辑一致性计算机科学安全性分析验证技术验证工具研究领域数据结构软件系统建模语言基本算法工作机理分析验证运用应用通道输出设计模型
	对人员素质测评方法验证的探讨会议论文 OAI收割全国第七届心理学学术会议, 北京, 1993-01-01 作者: 谢晓非 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2021/07/30 人员素质测评人员测评测评方法测评标准验证性指导意义实际问题实际操作干部测评测评工具量表