translating a continuous-time temporal logic into timed automata

ISCAS OpenIR

	translating a continuous-time temporal logic into timed automata
	Li GY; Tang ZS
	2003
会议名称	1st Asian Symposium on Programming Languages and Systems
页码	322-338
会议日期	NOV 27-29,
会议地点	BEIJING, PEOPLES R CHINA
收录类别	sci ; istp
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS
ISSN	0302-9743
ISBN	3-540-20536-5
部门归属	Chinese Acad Sci, Key Lab Comp Sci, Inst Software, Beijing 100080, Peoples R China.
摘要	LTLC is a continuous-time linear temporal logic for the specification of real-time systems. It can express both real-time systems and their properties. With LTLC, real-time systems can be described at different levels of abstraction, from high
主办者	Asian Assoc Fdn Software, Beihang Univ
语种	英语
WOS记录号	WOS:000187786700021
引用统计
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13232
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Li GY,Tang ZS. translating a continuous-time temporal logic into timed automata[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS,2003:322-338.