QQ客服 官方微博 反馈留言

	实时时序逻辑语言XYZ／RE到时间自动机的映射
	刘珊艳[1,2]; 戎玫[3]; 张广泉[2,4]
	2008
卷号	29期号:[db:dc_citation_issue]页码:69
关键词	XYZ/RE 实时系统 时间自动机 UPPAAL
DOI	[db:dc_identifier_doi]
URL标识	查看原文
WOS记录号	[db:dc_identifier_wosid]
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/3362771
专题	暨南大学
作者单位	1.[1]荆楚理工学院计算机学院,荆门448000 2.[2]重庆师范大学数学与计算机科学学院,重庆400047 3.[3]暨南大学深圳旅游学院,深圳518053 4.[4]苏州大学计算机科学与技术学院,苏州215006
推荐引用方式 GB/T 7714	刘珊艳[1,2],戎玫[3],张广泉[2,4]. 实时时序逻辑语言XYZ／RE到时间自动机的映射[J],2008,29([db:dc_citation_issue]):69.
APA	刘珊艳[1,2],戎玫[3],&张广泉[2,4].(2008).实时时序逻辑语言XYZ／RE到时间自动机的映射.,29([db:dc_citation_issue]),69.
MLA	刘珊艳[1,2],et al."实时时序逻辑语言XYZ／RE到时间自动机的映射".29.[db:dc_citation_issue](2008):69.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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