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

Search Results

Help

Item hits: (Results 1-6 of 6)

Filters    
Items/Page:    Sort:
Reflection cryptanalysis of PRINCE-like ciphers [会议论文]
20th International Workshop on Fast Software Encryption, FSE 2013, Singapore, Singapore, March 11, 2013 - March 13, 2013
Soleimany, Hadi (1); Blondeau, Cé; line (1); Yu, Xiaoli (2); Wu, Wenling (2); Nyberg, Kaisa (1); Zhang, Huiling (2); Zhang, Lei (2); Wang, Yanfeng (2)

 
distinguishing between automatic and manual aspects of model driven development [会议论文]
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30,
Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu
  |  
 
distinguishing between automatic and manual aspects of model driven development [会议论文]
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30,
Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu
  |  
 
an effective two-stage neural network model and its application on flood loss prediction [会议论文]
2nd International Symposium on Neural Networks, Chongqing, PEOPLES R CHINA, MAY 30-JUN
Yang L; Zuo C; Wang YG
  |  
 
path-oriented test data generation using symbolic execution and constraint solving techniques [会议论文]
2nd International Conference on Software Engineering and Formal Methods, Beijing, PEOPLES R CHINA, SEP 28-30,
Zhang J; Xu C; Wang XL
  |  
 
validating objected-oriented prototype of real-time systems with timed automata [会议论文]
13th IEEE International Workshop on Rapid System Prototyping, DARMSTADT, GERMANY, JUL 01-03,
Shu GQ; Li C; Wang Q; Li MS
  |  
 

1

 

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