A Formal Analysis of Stage Stunt System with Hybrid Automata

	A Formal Analysis of Stage Stunt System with Hybrid Automata
	He, AP; Wang, J
	2012
会议名称	7th International Conference on Computing and Convergence Technology (ICCCT)
会议日期	DEC 03-05, 2012
会议地点	Seoul, SOUTH KOREA
关键词	Stage stunt system hybrid automata forward analysis
页码	741-744
通讯作者	He, AP (reprint author), Lanzhou Univ, Sch Informat Sci & Engn, Lanzhou 730000, Peoples R China.
会议录	2012 7TH INTERNATIONAL CONFERENCE ON COMPUTING AND CONVERGENCE TECHNOLOGY (ICCCT2012)
会议录出版地	NEW YORK
学科主题	Computer Science; Engineering
语种	英语
WOS记录号	WOS:000324412800144
内容类型	会议论文
源URL	[http://ir.lzu.edu.cn/handle/262010/183607]
专题	信息科学与工程学院_会议论文
推荐引用方式 GB/T 7714	He, AP,Wang, J. A Formal Analysis of Stage Stunt System with Hybrid Automata[C]. 见:7th International Conference on Computing and Convergence Technology (ICCCT). Seoul, SOUTH KOREA. DEC 03-05, 2012.