|
已选(0)清除
条数/页： 排序方式：
|
| 基于描述逻辑的特征语义建模及验证 期刊论文
计算机研究与发展, 2013
沈国华; 张伟; 黄志球; 张钰龙; 金澜涛; 何文民; 贾哲; 赵子玥
  收藏 | 浏览/下载：3/0 | 提交时间：2015/11/12
|
| 一种实用动态完整性保护模型的形式化分析 期刊论文
计算机研究与发展, 2013
杨涛; 王永刚; 唐礼勇; 孔令波; 胡建斌; 陈钟
收藏 | 浏览/下载：3/0 | 提交时间：2015/11/12
|
| 操作系统内核的动态可信度量模型 期刊论文
计算机应用, 2012
辛思远; 赵勇; 廖建华; 王婷
收藏 | 浏览/下载：1/0 | 提交时间：2015/11/12
|
| 基于对象版本管理方法的道路网络动态演变建模研究 期刊论文
北京大学学报 自然科学版, 2009
刘岳峰; 卢宾宾; 张伊波; 刘婷
收藏 | 浏览/下载：3/0 | 提交时间：2015/11/12
|
| 基于对象版本管理方法的道路网络动态演变建模研究 期刊论文
北京大学学报 自然科学版, 2008
刘岳峰; 卢宾宾; 张伊波; 刘婷
收藏 | 浏览/下载：2/0 | 提交时间：2015/10/23
|
| DAPPIC:保持约束的发布规则生成机制 期刊论文
计算机工程, 2008
刘云峰; 李庭晏; 王腾蛟; 杨冬青; 唐世渭
收藏 | 浏览/下载：1/0 | 提交时间：2015/11/12
|
| 一种基于TE技术实现Clark-Wilson模型的方法 期刊论文
电子学报, 2008
何建波; 郭新; 卿斯汉
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/11
|
| 基于XML数据集成与交换中的完整性约束研究 期刊论文
计算机工程, 2005
刘云峰; 杨冬青; 唐世渭; 王腾蛟; 高军; 李缨
收藏 | 浏览/下载：1/0 | 提交时间：2015/10/23
|
| 空间信息处理过程建模研究 期刊论文
北京大学学报 自然科学版, 2004
高勇; 邬伦; 刘瑜
收藏 | 浏览/下载：1/0 | 提交时间：2015/11/12
|
| 空间数据库数据约束系统及其实现 期刊论文
地理与地理信息科学, 2003
方裕; 陈斌; 范建春
收藏 | 浏览/下载：1/0 | 提交时间：2015/10/23
|
