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

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

条数/页： 排序方式：
SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康
  |  收藏  |  浏览/下载：41/0  |  提交时间：2014/12/16
SRL→Radl生成系统及其相关理论研究 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2010
王昌晶
  |  收藏  |  浏览/下载：20/0  |  提交时间：2012/06/20
基于时序逻辑证明编译优化程序变换的保义性 期刊论文  OAI收割
软件学报, 2009, 卷号: 20, 期号: 8, 页码: 2074-2086
陶秋铭; 赵琛; 郭亮
  |  收藏  |  浏览/下载：29/0  |  提交时间：2010/08/25
使用SPEC#开发高可靠性的算法程序 期刊论文  OAI收割
计算机工程与应用, 2006, 卷号: 42, 期号: 12, 页码: 114-117,130
郑宇军; 马燕; 薛锦云
  |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/13
形式化方法B及其程序规约机理 期刊论文  OAI收割
计算机工程, 2004, 卷号: 30, 期号: 16, 页码: 16-18,50
肖美华; 薛锦云
  |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/29
基于最小序句子的上下文无关语言句子枚举 期刊论文  OAI收割
计算机研究与发展, 2004, 卷号: 41, 期号: 1, 页码: 9-14
黄文集
  |  收藏  |  浏览/下载：23/0  |  提交时间：2011/07/29
形式规约语言LFC的实现和应用研究 学位论文  OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
黄文集
收藏  |  浏览/下载：25/0  |  提交时间：2011/03/17
基于变量关系图和符号执行的指针相关路径分析 学位论文  OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
杨宇
收藏  |  浏览/下载：21/0  |  提交时间：2011/03/17
一个支持规约获取的形式规约语言 期刊论文  OAI收割
计算机学报, 2002, 卷号: 25, 期号: 5, 页码: 459-466
陈海明; 董韫美
  |  收藏  |  浏览/下载：23/0  |  提交时间：2010/07/22
关于软件形式化方法 期刊论文  OAI收割
重庆师范学院学报：自然科学版, 2002, 卷号: 19.0, 期号: 002, 页码: 1
作者:  张广泉
  |  收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04