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

Search Results

Help

Item hits: (Results 1-3 of 3)

Items/Page:    Sort:
Formal verification of a descent guidance control program of a lunar lander [会议论文]
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3)

 
A graph-based generic type system for object-oriented programs [期刊论文]
FRONTIERS OF COMPUTER SCIENCE, 2013-01-01, 卷号: 7, 期号: 1, 页码: 109-134
Ke, Wei; Liu, Zhiming; Wang, Shuling; Zhao, Liang

 
automated test program generation for an industrial optimizing compiler [会议论文]
4th International Workshop on Automation of Software Test (AST 2009) held at the 31st International Conference on Software Engineering, Vancouver, CANADA, MAY 18-19,
Zhao Chen; Xue Yunzhi; Tao Qiuming; Guo Liang; Wang Zhaohui
  |  
 

1

 

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