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

Search Results

Help

Item hits: (Results 21-30 of 73)

Filters        
Items/Page:    Sort:
参数化系统安全性的启发式符号验证 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 6, 页码: 1444-1456
杨秋松; 李明树
  |  
 
软件过程建模方法研究 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 3, 页码: 524-545
李明树; 杨秋松; 翟健
  |  
 
基于组件属性的远程证明 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 6, 页码: 1625-1641
秦宇; 冯登国
  |  
 
基于熵的随机性检测相关性研究 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 7, 页码: 1967-1976
范丽敏; 冯登国; 陈华
  |  
 
基于安全状态域的网络评估模型 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 2, 页码: 451-461
张海霞; 连一峰; 苏璞睿; 冯登国
  |  
 
一种基于组织实体能力的软件过程建模方法 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 3, 页码: 533-544
肖俊超; 王青; 李明树; 张镭; 刘大鹏
  |  
 
基于规则推导的特权隐式授权分析 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 8, 页码: 2102-2113
蔡嘉勇; 卿斯汉; 刘伟; 何建波
  |  
 
C代码API一致性检验中的等值分析 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 10, 页码: 2550-2561
孟策; 贺也平; 罗宇翔
  |  
 
以活动为中心的个人信息管理 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 6, 页码: 1428-1438
邓昌智; 敖翔; 周明骏; 徐礼爽; 田丰; 戴国忠
  |  
 
基于MDA的TRISO-Model模型管理方法及应用 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 7, 页码: 1612-1625
袁峰; 李明树
  |  
 

previous 1 2 3 4 5 6 7 8 next

 

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