机构

• 软件研究所 [4]

采集方式

• OAI收割 [4]

内容类型

• 期刊论文 [4]

发表日期

• 2006 [4]

学科主题

• Artificial... [3]
• Computer S... [3]

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/13 绵羊  胚胎  成纤维细胞formal specification language  context-free language  recursive function  specification acquisition  specification validation   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 Knowledge-Based Systems, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen Haiming; Yunmei Dong   |  收藏  |  浏览/下载：23/0  |  提交时间：2010/07/22 Formal specification language  Context-free language  Recursive function  Specification acquisition  Specification validation   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/07/13 绵羊  胚胎  成纤维细胞formal specification language  context-free language  recursive function  specification acquisition  specification validation   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM   |  收藏  |  浏览/下载：31/0  |  提交时间：2011/07/13 绵羊  胚胎  成纤维细胞formal specification language  context-free language  recursive function  specification acquisition  specification validation