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

Search Results

Help

Item hits: (Results 91-100 of 112)

Items/Page:    Sort:
基于反例搜索的启发式模型检测算法的研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
施小纯
  |  
 
特洛伊木马隐藏技术研究 [期刊论文]
通信学报, 2004-01-01, 卷号: 25, 期号: 7
张新宇; 卿斯汉; 马恒太; 张楠; 孙淑华; 蒋建春
  |  
 
一种基于构件的软件体系结构求精方法及其应用 [期刊论文]
重庆师范学院学报(自然科学版), 2003-01-01, 卷号: 20, 期号: 2, 页码: 1-5
晏荣杰; 张广泉
  |  
 
一种将设计模式用于程序精化演算的并行程序设计方法研究 [期刊论文]
计算机研究与发展, 2003-01-01, 卷号: 40, 期号: 2, 页码: 318-324
万剑怡; 孙永强; 薛锦云
  |  
 
井发传值进程模型检测工具的数据类型扩展 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
张轶
  |  
 
一个并发传值系统自动验证工具的图形界面实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
肖颖奇
  |  
 
密码协议的一种基于组合推理的模型验证 [期刊论文]
通信学报, 2003-01-01, 卷号: 24, 期号: 9, 页码: 122-127
刘怡文; 李伟琴; 冯登国
  |  
 
基于PLIB标准面向零件族的零件库信息模型及其表达 [期刊论文]
计算机辅助设计与图形学学报, 2002-01-01, 卷号: 14, 期号: 6, 页码: 598-602
操云甫; 李峰; 韩永生; 戴国忠

 
敏捷软件过程的研究 [期刊论文]
计算机研究与发展, 2002-01-01, 卷号: 39, 期号: 11, 页码: 1456-1463
沈备军; 陈诚; 居德华
  |  
 
高可靠软件研究:向信息技术的未来投资 [期刊论文]
中国科学院院刊, 2002-01-01, 卷号: 17, 期号: 6
林惠民
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 next

 

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