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

Item hits: (Results 1-5 of 5)

Items/Page: Sort:
	facilitating formal specification acquisition by using recursive functions on context-free languages [期刊论文] KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM \|
	facilitating formal specification acquisition by using recursive functions on context-free languages [期刊论文] KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM \|
	facilitating formal specification acquisition by using recursive functions on context-free languages [期刊论文] KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM \|
	a xml-based composition event approach as an integration and cooperation middleware [会议论文] International Symposium on Trustworthy Global Computing, Edinburgh, SCOTLAND, APR 07-09, Xu G; Ma JG; Huang T
	a formal description of secimos operating system [期刊论文] COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005-01-01, 卷号: 3685, 页码: 286-297 Zhou ZY; Liang B; Jiang L; Shi WC; He YP \|


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