QQ客服 官方微博 反馈留言

	Game-based monitors for scenario-based specification (EI收录)
	Zhang, Pengcheng[1,2]; Yu, Jun[1]; Li, Wenrui[3]; Leung, Hareton[4]
会议名称	Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
会议日期	July 17, 2013 - July 19, 2013
会议地点	Singapore, Singapore
关键词	Semantics Specifications
URL标识	查看原文
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/2051554
专题	华南理工大学
作者单位	1.[1] College of Computer and Information, Hohai University, Nanjing-210098, China 2.[2] State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing-210093, China 3.[3] School of Mathematics and Information Technology, Nanjing Xiaozhuang University, Nanjing-211147, China 4.[4] Department of Computing, Hong Kong Polytechnic University, Hong Kong, Hong Kong
推荐引用方式 GB/T 7714	Zhang, Pengcheng[1,2],Yu, Jun[1],Li, Wenrui[3],等. Game-based monitors for scenario-based specification (EI收录)[C]. 见:Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. Singapore, Singapore. July 17, 2013 - July 19, 2013.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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