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

Search Results

Help

Item hits: (Results 1-4 of 4)

Filters    
Items/Page:    Sort:
改进的以SMT为基础的实时系统限界模型检测 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1491-1502
徐亮
  |  
 
虚拟装配中感知机制构造 [期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 12, 页码: 2324-2330
程成
  |  
 
一种分析电子商务协议的新工具 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 9, 页码: 1318-1328
周典萃; 卿斯汉; 周展飞
  |  
 
一种新型的非否认协议 [期刊论文]
软件学报, 2000-01-01, 卷号: 11, 期号: 10, 页码: 1338-1343
卿斯汉
  |  
 

1

 

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