中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
差分隐私下的一种频繁序列模式挖掘方法 [期刊论文]
计算机研究与发展, 2015-01-01, 卷号: 52, 期号: 12, 页码: 2789-2801
卢国庆; 张啸剑; 丁丽萍; 李彦峰; 廖鑫
  |  
 
面向航天系统的嵌入式操作系统实时性评测 [期刊论文]
计算机工程与设计, 2013-01-01, 卷号: 34, 期号: 1, 页码: 114-120
董佳梁; 李彦峰; 杨秋松; 翟健

 
形式化分析方法在OnceAS设计和实现中的应用 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-15
李彦
  |  
 
基于模型检查实现J2EE规范的实例研究 [期刊论文]
计算机科学, 2006-01-01, 卷号: 33, 期号: 12, 页码: 249-254
李彦; 张文博; 陈宁江
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace