1. ScholarBank@NUS
  2. 1. Staff
  3. Staff Publications
Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/40054
DC FieldValue
dc.titleIntegrating Object-Z with Timed Automata
dc.contributor.authorDong, J.S.
dc.contributor.authorDuke, R.
dc.contributor.authorHao, P.
dc.date.accessioned2013-07-04T07:55:37Z
dc.date.available2013-07-04T07:55:37Z
dc.date.issued2005
dc.identifier.citationDong, J.S.,Duke, R.,Hao, P. (2005). Integrating Object-Z with Timed Automata. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS : 488-497. ScholarBank@NUS Repository.
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40054
dc.description.abstractWhen designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for capturing timed control behaviour of the system. This paper presents an effective combination of the two techniques with novel composition and communication mechanisms. The combined notation enhances Object-Z with real-time modeling capability and also extends Timed Automata with enhanced structure and state modeling features. © 2005 IEEE.
dc.sourceScopus
dc.subjectObject-Z
dc.subjectSpecification
dc.subjectTimed Automata
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.sourcetitleProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
dc.description.page488-497
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.