Skip to Main Content
Skip Nav Destination
ASME Press Select Proceedings

International Conference on Electronics, Information and Communication Engineering (EICE 2012)

Garry Lee
Garry Lee
Information Engineering Research Institute
Search for other works by this author on:
No. of Pages:
ASME Press
Publication date:

An event-based temporal logic (ETL) is presented in this paper, because there is no suitable temporal logic which can directly describe the properties of event graph models. ETL has the abilities to describe the particular properties of event graph models, such as event canceling edge, passing parameter values between events, time constraints and the priorities of coinstantaneous events. It can facilitate the specification of properties during model checking for event graph models. ETL is verified by the example at last, which show ETL has the expressive powerful to describe event graph models.

This content is only available via PDF.
You do not currently have access to this chapter.
Close Modal

or Create an Account

Close Modal
Close Modal