中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码？
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [11]
采集方式
OAI收割 [11]
内容类型
学位论文 [8]
期刊论文 [3]
发表日期
2007 [1]
2002 [1]
2001 [2]
2000 [2]
1999 [1]
1998 [3]
更多
学科主题
筛选
浏览/检索结果:
共11条，第1-10条
帮助
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
提交时间升序
提交时间降序
发表日期升序
发表日期降序
题名升序
题名降序
作者升序
作者降序
结合搜索空间划分和抽象进行LTL模型检测
期刊论文
OAI收割
中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520
蒲飞
;
张文辉
|
收藏
|
基于XYZ/E重构SZRTOS实时操作系统内核
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2002
郭亮
收藏
|
基于组件的逐步求精程序设计方法
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001
郑建丹
收藏
|
基于XYZ/E的软件体系结构描述及求精实例研究
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001
舒明
收藏
|
逐步求精法获取上下文无关文法
期刊论文
OAI收割
计算机研究与发展, 2000, 卷号: 37, 期号: 1
张瑞岭
;
董韫美
|
收藏
|
XYZ系统在多媒体领域的应用研究
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000
赵琛
收藏
|
人机交互文法获取研究
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999
张瑞岭
收藏
|
XYZ中的反应型系统的描述和验证
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998
沈伟
收藏
|
基于XYZ的多媒体抽象与建模研究
学位论文
OAI收割
博士, 中国科学院软件研究所（北京 100080）: 中国科学院软件研究所（北京 100080）, 1998
唐小平
收藏
|
交互系统及其基于XYZ／E的规范与逐步求精
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998
郑小立
收藏
|
