QQ客服 官方微博 反馈留言

	Semantic-based requirements analysis and verification
	Hu, Haibo[1]; Zhang, Lei[1]; Ye, Chunxiao[2]
会议日期	August 1, 2010 - August 3, 2010
会议地点	Kyoto, Japan
URL标识	查看原文
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/3131785
专题	重庆大学
推荐引用方式 GB/T 7714	Hu, Haibo[1],Zhang, Lei[1],Ye, Chunxiao[2]. Semantic-based requirements analysis and verification[C]. 见:. Kyoto, Japan. August 1, 2010 - August 3, 2010.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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