QQ客服 官方微博 反馈留言

	On the semantics of scenario-based specification based on timed computational tree logic (EI收录)
	Li, Wenrui[1,2]; Zhang, Pengcheng[3,4]
会议名称	Proceedings of the Australian Software Engineering Conference, ASWEC
会议日期	June 4, 2013 - June 7, 2013
会议地点	Melbourne, VIC, Australia
关键词	Forestry Model checking Real time systems Semantics Software engineering
URL标识	查看原文
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/2048699
专题	华南理工大学
作者单位	1.[1] School of Mathematics and Information Technology, Nanjing Xiaozhuang University, Nanjing -211147, China 2.[2] State Key Laboratory of Software Engineering, Wuhan University, Wuhan -430072, China 3.[3] State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing -210093, China 4.[4] College of Computer and Information, Hohai University, Nanjing-210098, China
推荐引用方式 GB/T 7714	Li, Wenrui[1,2],Zhang, Pengcheng[3,4]. On the semantics of scenario-based specification based on timed computational tree logic (EI收录)[C]. 见:Proceedings of the Australian Software Engineering Conference, ASWEC. Melbourne, VIC, Australia. June 4, 2013 - June 7, 2013.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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