CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
安全苛刻系统自动化测试的形式化语义模型 期刊论文
软件学报, 2014, 卷号: 25, 页码: 489-505
作者:  Lü, Jiang-Hua;  Ma, Shi-Long;  Li, Xian-Jun;  Gao, Shi-Wei
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06
体系结构层状态型方面的建模和编织----基于LTS的方法 期刊论文
计算机学报, 2011, 卷号: 34, 期号: 2, 页码: 342-352
作者:  杨春花;  王海洋
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/23
基于本体和XML的数据交换研究 期刊论文
2010, 2010
彭涛; 张力; PENG Tao; ZHANG Li
收藏  |  浏览/下载：2/0
安全操作系统策略模型的关键问题研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
何建波
收藏  |  浏览/下载：12/0  |  提交时间：2011/03/17
基于时间模型的实时系统测试方法研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2006
陈伟
收藏  |  浏览/下载：16/0  |  提交时间：2011/03/17
XTRANS:一个XML与关系数据相互转换系统 期刊论文
计算机工程与应用, 2004, 卷号: 40, 期号: 19, 页码: 168-171
谈猛刚; 李剑; 樊会锋; 刑娜
收藏  |  浏览/下载：12/0  |  提交时间：2011/07/29
基于XML技术的数据转换 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001
罗思群
收藏  |  浏览/下载：6/0  |  提交时间：2011/03/17
软件体系结构中状态方面的编织研究 学位论文
作者:  杨春花
收藏  |  浏览/下载：0/0  |  提交时间：2019/12/20

©版权所有 ©2017 CSpace - Powered by CSpace