已选(0)清除
条数/页: 排序方式:
|
| 结合搜索空间划分和抽象进行LTL模型检测 期刊论文 中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520 蒲飞; 张文辉
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:4/0  |  提交时间:2011/07/01
|
| Statecharts的组合语义与求精 期刊论文 软件学报, 2006, 期号: 4, 页码: 670-681 朱雪阳; 唐稚松
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:13/0  |  提交时间:2011/07/13
|
| 基于XYZ/E重构SZRTOS实时操作系统内核 学位论文 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2002 郭亮
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2011/03/17
|
| 基于匹配跟踪的低位率语音编码研究 学位论文 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2002 张文耀
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2011/03/17
|
| 可视化软件体系结构描述工具XYZ/ADL的设计与实现 期刊论文 重庆师范学院学报(自然科学版), 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2011/07/29
|
| 基于组件的逐步求精程序设计方法 学位论文 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001 郑建丹
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:14/0  |  提交时间:2011/03/17
|
| 基于XYZ/E的软件体系结构描述及求精实例研究 学位论文 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001 舒明
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2011/03/17
|
| 逐步求精法获取上下文无关文法 期刊论文 计算机研究与发展, 2000, 卷号: 37, 期号: 1 张瑞岭; 董韫美
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2010/08/25
|
| XYZ系统在多媒体领域的应用研究 学位论文 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000 赵琛
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:12/0  |  提交时间:2011/03/17
|
| 信息发现与检索技术中的一种在线学习算法 学位论文 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000 曾伟民
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2011/03/17
|