Integrating Object-Z with Timed Automata

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Saved in:

Bibliographic Details
Main Authors:	Dong, J.S., Duke, R., Hao, P.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Object-Z Specification Timed Automata
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40054
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40054
record_format	dspace
spelling	sg-nus-scholar.10635-400542015-01-06T07:32:45Z Integrating Object-Z with Timed Automata Dong, J.S. Duke, R. Hao, P. COMPUTER SCIENCE Object-Z Specification Timed Automata Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 488-497 2013-07-04T07:55:37Z 2013-07-04T07:55:37Z 2005 Conference Paper Dong, 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. http://scholarbank.nus.edu.sg/handle/10635/40054 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Object-Z Specification Timed Automata
spellingShingle	Object-Z Specification Timed Automata Dong, J.S. Duke, R. Hao, P. Integrating Object-Z with Timed Automata
description	Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Dong, J.S. Duke, R. Hao, P.
format	Conference or Workshop Item
author	Dong, J.S. Duke, R. Hao, P.
author_sort	Dong, J.S.
title	Integrating Object-Z with Timed Automata
title_short	Integrating Object-Z with Timed Automata
title_full	Integrating Object-Z with Timed Automata
title_fullStr	Integrating Object-Z with Timed Automata
title_full_unstemmed	Integrating Object-Z with Timed Automata
title_sort	integrating object-z with timed automata
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40054
_version_	1681082201913950208

Integrating Object-Z with Timed Automata

Similar Items