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

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
LTL satisfiability checking revisited [会议论文]
20th International Symposium on Temporal Representation and Reasoning, TIME 2013, Pensacola, FL, United states, September 26, 2013 - September 28, 2013
Li, Jianwen (1); Zhang, Lijun (2); Pu, Geguang (1); Vardi, Moshe Y. (3); He, Jifeng (1)

 
automatic bug triage using semi-supervised text classification [会议论文]
22nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2010, Redwood City, CA, United states, 44013
Xuan Jifeng; Jiang He; Ren Zhilei; Yan Jun; Luo Zhongxuan
  |  
 
Service refinement [期刊论文]
Sci China Ser F-Inf Sci, 2008-01-01, 卷号: 51, 期号: 6, 页码: 661
HE JiFeng
  |  
 
Prespecification in data refinement [期刊论文]
Information Processing Letters, 1987-01-01, 卷号: 25, 期号: 2, 页码: 71 - 76
C.A.R.Hoare; Jifeng He; J.W.Sanders
  |  
 
The weakest prespecification [期刊论文]
Information Processing Letters, 1987-01-01, 卷号: 24, 期号: 2, 页码: 127 - 132
C.A.R.Hoare; Jifeng He
  |  
 

1

 

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