facilitating formal specification acquisition by using recursive     functions on context-free languages

	facilitating formal specification acquisition by using recursive functions on context-free languages
	Chen HM; Dong YM
	2006
发表期刊	KNOWLEDGE-BASED SYSTEMS
ISSN	0950-7051
卷号	19 期号:2 页码:141-151
收录类别	SCI ; EI
其他摘要	用组织块法对绵羊胚胎成纤维细胞进行原代和传代培养,探讨绵羊胚胎成纤维细胞适宜的培养模式。成功获得较均一稳定的细胞群体,并成功地对细胞进行了冷冻保存和复苏。对于进行大规模的动物细胞培养具有重要的指导意义。
关键词	绵羊胚胎成纤维细胞formal Specification Language Context-free Language Recursive Function Specification Acquisition Specification Validation
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
学科领域	Computer Science ; Artificial Intelligence
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11508
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Chen HM,Dong YM. facilitating formal specification acquisition by using recursive functions on context-free languages[J]. KNOWLEDGE-BASED SYSTEMS,2006,19(2):141-151.
APA	Chen HM,&Dong YM.(2006).facilitating formal specification acquisition by using recursive functions on context-free languages.KNOWLEDGE-BASED SYSTEMS,19(2),141-151.
MLA	Chen HM,et al."facilitating formal specification acquisition by using recursive functions on context-free languages".KNOWLEDGE-BASED SYSTEMS 19.2(2006):141-151.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
SoMet2004.pdf（183KB）			开放获取	--	请求全文