CORC  > 北京航空航天大学
Translating Software Requirement from Natural Language to Automaton
Sun Rui; Zhong Deming
2014
会议名称40th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON)
会议日期2014-01-01
会议地点Dallas, TX
关键词software requirement natural language formal specification automaton
页码2456-2459
收录类别CPCI-S
URL标识查看原文
WOS记录号WOS:000369916401206
内容类型会议论文
URI标识http://www.corc.org.cn/handle/1471x/6552682
专题北京航空航天大学
推荐引用方式
GB/T 7714
Sun Rui,Zhong Deming. Translating Software Requirement from Natural Language to Automaton[C]. 见:40th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON). Dallas, TX. 2014-01-01.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace