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

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

条数/页： 排序方式：
基于 TPM 2.0 的协议设计与分析研究 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2019
作者:  王微谨
  |  收藏  |  浏览/下载：201/0  |  提交时间：2019/07/03
下一代可信计算协议的设计与分析 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2016
邵健雄
  |  收藏  |  浏览/下载：24/0  |  提交时间：2016/06/06
软件形式化方法与应用专题前言 期刊论文  OAI收割
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 495-496
詹乃军; 王戟; 李宣东
  |  收藏  |  浏览/下载：18/0  |  提交时间：2016/12/09
带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割
计算机系统应用, 2014, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松
  |  收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16
公平性约束下基于抽象和推理的活性验证 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2013
龙腾
  |  收藏  |  浏览/下载：17/0  |  提交时间：2013/05/31
基于PVS的数据库安全策略形式化分析方法 期刊论文  OAI收割
中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598
李昊; 张敏; 王榕
  |  收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16
基于问题模式的形式化软件规格说明生成方法 期刊论文  OAI收割
计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360
王昌晶; 罗海梅; 左正康
  |  收藏  |  浏览/下载：12/0  |  提交时间：2013/09/17
基于状态转移系统的安全协议形式化建模方法的研究 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2012
岳庆刚
  |  收藏  |  浏览/下载：11/0  |  提交时间：2012/05/31
基于PAR的排序算法自动生成研究 期刊论文  OAI收割
软件学报, 2012, 卷号: 23, 期号: 9, 页码: 2248-2260
石海鹤; 薛锦云
  |  收藏  |  浏览/下载：10/0  |  提交时间：2013/09/17
一种形式化的组件化软件过程建模方法 期刊论文  OAI收割
Journal of Software, 2011, 卷号: 22, 期号: 1, 页码: 1-16
翟健; 杨秋松; 肖俊超; 李明树
  |  收藏  |  浏览/下载：17/0  |  提交时间：2013/10/08