modelling real-time systems with continuous-time temporal logic

ISCAS OpenIR

	modelling real-time systems with continuous-time temporal logic
	Li GY; Tang ZS
	2002
会议名称	4th International Conference on Formal Engineering Methods (ICFEM 2002)
页码	231-236
会议日期	OCT 21-25,
会议地点	SHANGHAI, PEOPLES R CHINA
收录类别	sci ; istp
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS
ISSN	0302-9743
ISBN	3-540-00029-1
部门归属	Chinese Acad Sci, Inst Software, Key Lab Comp Sci, Beijing 100080, Peoples R China.
摘要	LTLC is a continuous-time linear temporal logic for the specification of real-time systems. It can express both the properties and the implementations of real-time systems. With LTLC, real-time systems can be described at many levels of abstra
主办者	Shanghai Univ, United Nat Univ Int Inst Software Technol, Natl Nat Sci Fdn China, China Comp Federat, China Software Ind Assoc, Shanghai Comp Assoc, E China Normal Univ
语种	英语
WOS记录号	WOS:000181471000026
引用统计	被引频次：3[WOS] [WOS记录] [WOS相关记录]
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13426
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Li GY,Tang ZS. modelling real-time systems with continuous-time temporal logic[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS,2002:231-236.