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

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
Formal analysis of TPM2.0 key management APIs [期刊论文]
CHINESE SCIENCE BULLETIN, 2014-01-01, 卷号: 59, 期号: 32, 页码: 4210-4224
Zhang, Qianying; Zhao, Shijun; Qin, Yu; Feng, Dengguo

 
FCA-CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs [期刊论文]
INFORMATION AND SOFTWARE TECHNOLOGY, 2013-01-01, 卷号: 55, 期号: 8, 页码: 1437-1449
Li, Bixin; Sun, Xiaobing; Keung, Jacky

 
quantitative analysis of requirements evolution across multiple versions of an industrial software product [会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850
Hailong Wang; Juan Li; Qing Wang; Ye Yang
  |  
 
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
  |  
 
基于系统级诊断理论的卫星网络故障诊断 [期刊论文]
电子学报, 2005-01-01, 卷号: 33, 期号: 11, 页码: 2066-2069
侯霞; 范植华; 胡刚
  |  
 
new semantic model for authentication protocols in asms [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004-01-01, 卷号: 19, 期号: 4, 页码: 555-563
Xue R; Feng DG
  |  
 
multifractal analysis and model of the mpeg-4 video traffic [会议论文]
IEEE International Performance, Computing and Communications Conference, PHOENIX, AZ, APR 09-11,
Hong F; Wu ZM
  |  
 

1

 

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