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

Search Results

Help

Item hits: (Results 1-7 of 7)

Filters    
Items/Page:    Sort:
a three-level verification approach on wireless communication controller system [会议论文]
2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011
Fan Linlin; Liao Mingxue; He Xiaoxin

 
formal verification on distributed spectrum sensing protocol [会议论文]
2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011
Liu Jin-Bo; Liao Ming-Xue; Hu Xiao-Hui; He Xiao-Xin

 
compositional modelling and verification of ipv6 mobility [会议论文]
25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05,
Wu P; Zhang DM
  |  
 
an efficient id-based deniable authentication protocol from pairings [会议论文]
19th International Conference on Advanced Information Networking and Applications, Taipei, TAIWAN, MAR 28-30,
Cao TJ; Lin DD; Xue R
  |  
 
e [会议论文]
19th International Conference on Advanced Information Networking and Applications, Taipei, TAIWAN, MAR 28-30,
Cao TJ; Lin DD; Xue R
  |  
 
accurate long-tailed network traffic approximation and its queueing analysis by hyper-erlang distributions [会议论文]
30th Annual IEEE Conference on Local Computer Networks, Sydney, AUSTRALIA, NOV 15-17,
Wang JF; Zhou HX; Li L; Xu FJ
  |  
 
an efficient multicast protocol in mobile ipv6 networks [会议论文]
IEEE Wireless Communications and Networking Conference, Atlanta, GA, MAR 21-25,
Sun LM; Liao Y; Zheng JP; Wu YC; Ma J
  |  
 

1

 

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