hierarchically modeling the component-based real-time system with duration calculus

CORC > 软件研究所 > 软件所图书馆 > 会议论文

	hierarchically modeling the component-based real-time system with duration calculus
	Jin Xianli ; Ma Huadong
	2005
会议名称	2005 Fifth International Conference on Information, Communications and Signal Processing
会议日期	40883
会议地点	Bangkok, Thailand
关键词	Computational complexity Computer simulation Hierarchical systems Temporal logic
页码	1411-1415
英文摘要	This paper proposes a new method for hierarchically modeling the component-based real-time system using Duration Calculus (DC), a real time interval temporal logic. We first define the component using DC, and then describe the component composition and th
收录类别	EI
会议录	2005 Fifth International Conference on Information, Communications and Signal Processing
会议录出版地	United States
语种	英语
ISBN号	780392833
内容类型	会议论文
源URL	[http://124.16.136.157/handle/311060/12794]
专题	软件研究所_软件所图书馆_会议论文
推荐引用方式 GB/T 7714	Jin Xianli,Ma Huadong. hierarchically modeling the component-based real-time system with duration calculus[C]. 见:2005 Fifth International Conference on Information, Communications and Signal Processing. Bangkok, Thailand. 40883.