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

Search Results

Help

Item hits: (Results 1-3 of 3)

Items/Page:    Sort:
软件属性保障中的源代码静态分析技术研究 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009-06-03
孟策
  |  
 
解决度量-验证时间差的一种差值证明方法 [期刊论文]
通信学报, 2009-01-01, 期号: S1, 页码: 43-50
张谦; 贺也平; 孟策
  |  
 
C代码API一致性检验中的等值分析 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 10, 页码: 2550-2561
孟策; 贺也平; 罗宇翔
  |  
 

1

 

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