Institutional Repository
| facilitating formal specification acquisition by using recursive functions on context-free languages | |
| Chen HM; Dong YM | |
| 2006 | |
| Source | KNOWLEDGE-BASED SYSTEMS
 |
| ISSN | 0950-7051 |
| Volume | 19Issue:2Pages:141-151 |
| Indexed Type | SCI ; EI |
| Abstract | 用组织块法对绵羊胚胎成纤维细胞进行原代和传代培养,探讨绵羊胚胎成纤维细胞适宜的培养模式。成功获得较均一稳定的细胞群体,并成功地对细胞进行了冷冻保存和复苏。对于进行大规模的动物细胞培养具有重要的指导意义。 |
| Keyword | 绵羊 胚胎 成纤维细胞formal Specification Language Context-free Language Recursive Function Specification Acquisition Specification Validation |
| Department | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. |
| Subject | Computer Science ; Artificial Intelligence |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11506 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| SoMet2004.pdf（183KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment