中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

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 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In