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

Search Results

Help

Item hits: (Results 1-6 of 6)

Filters    
Items/Page:    Sort:
SRLtoRadl生成系统及其范畴论语义 [期刊论文]
电子学报, 2014-01-01, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康

 
电子政务软件可靠性评测方法初探 [期刊论文]
Computer Applications and Software, 2012-01-01, 卷号: 29, 期号: 3, 页码: 41037
陈心光; 刘彦斌
  |  
 
基于半虚拟技术的嵌入式分区系统设计与实现 [期刊论文]
Computer Engineering and Design, 2012-01-01, 卷号: 33, 期号: 1, 页码: 132-137
李剑; 胡晓惠; 赵军锁
  |  
 
VarBIFT:指令级的变量冗余容错检测技术 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 10, 页码: 2163-2165,2183
张显明; 张锐; 彭启民; 赵军锁
  |  
 
双重软件体系结构描述框架XYZ/ADL [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  
 
一种分析电子商务协议的新工具 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 9, 页码: 1318-1328
周典萃; 卿斯汉; 周展飞
  |  
 

1

 

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