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

Search Results

Help

Item hits: (Results 21-25 of 25)

Items/Page:    Sort:
双重软件体系结构描述框架XYZ/ADL [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  
 
constructing optimistic id-based fair exchange protocols via proxy signature [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2007-01-01, 卷号: 18, 期号: 3, 页码: 746-754
Xu Jing; Zhang Zhen-Feng; Feng Deng-Guo
  |  
 
sat-based verification of ltl formulas [会议论文]
11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006)/5th International Workshop on Parallel and Distributed Methods in Verification (PDMC, Bonn, GERMANY, AUG 26-27,
Zhang Wenhui
  |  
 
connecting algebraic and logical descriptions of concurrent systems [会议论文]
2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006, Paphos, Cyprus, 40848
Zhan Naijun
  |  
 
study on strand space model theory [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 5, 页码: 553-570
Ji QG; Qing SH; Zhou YB; Feng DG
  |  
 

previous 1 2 3

 

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