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

Search Results

Help

Item hits: (Results 1-9 of 9)

Items/Page:    Sort:
Denial-of-service security attack in the continuous-time world [会议论文]
34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014
Wang, Shuling (1); Nielson, Flemming (2); Nielson, Hanne Riis (2)

 
两层架构的可信身份服务平台研究与设计 [期刊论文]
Computer Applications and Software, 2012-01-01, 卷号: 29, 期号: 3, 页码: 1-4,8
朱玉涛; 王雅哲; 武传坤
  |  
 
static analysis of format string vulnerabilities [会议论文]
1st ACIS International Symposium on Software and Network Engineering, SSNE 2011, Seoul, Korea, Republic of, December 19, 2011 - December 20, 2011
Han Wei; Ren Mengfei; Tian Shuo; Ding Liping; He Yeping

 
igapsearch: using phone cameras to search around the world [会议论文]
2011 International Conference on Information and Automation, ICIA 2011, Shenzhen, China, June 6, 2011 - June 8, 2011
Wang Jiemin; He Yuanhai; Zhou Yujie; Qiao Yu

 
基于Yices对时间自动机的有界模型检测 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
  |  
 
model checking linear duration invariants of networks of automata [会议论文]
3rd IPM International Conference on Fundamentals of Software Engineering, Conference, FSEN 2009, Kish Island, Iran, April 15,
Zhang Miaomiao; Liu Zhiming; Zhan Naijun
  |  
 
axiomatic temporal logic programs verification [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Yang Xiaoxiao; Duan Zhenhua
  |  
 
methodology for reliability evaluation of n-version programming software fault tolerance system [会议论文]
International Conference on Computer Science and Software Engineering, CSSE 2008, Wuhan, Hubei, China, 40878
Ping Guo; Xin Liu; Qian Yin
  |  
 
程序性质的描述及证明 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 3
官荷卿; 郭亮
  |  
 

1

 

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