HighSpec: A tool for building and checking OZTA models

Proceedings - International Conference on Software Engineering

Saved in:

Bibliographic Details
Main Authors:	Dong, J.S., Hao, P., Zhang, X., Qin, S.C.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Object-Z Structural design Timed automata Verification
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40012
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40012
record_format	dspace
spelling	sg-nus-scholar.10635-400122017-03-20T09:22:42Z HighSpec: A tool for building and checking OZTA models Dong, J.S. Hao, P. Zhang, X. Qin, S.C. COMPUTER SCIENCE Object-Z Structural design Timed automata Verification Proceedings - International Conference on Software Engineering 2006 775-778 PCSED 2013-07-04T07:54:41Z 2013-07-04T07:54:41Z 2006 Conference Paper Dong, J.S.,Hao, P.,Zhang, X.,Qin, S.C. (2006). HighSpec: A tool for building and checking OZTA models. Proceedings - International Conference on Software Engineering 2006 : 775-778. ScholarBank@NUS Repository. 1595933751 02705257 http://scholarbank.nus.edu.sg/handle/10635/40012 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Object-Z Structural design Timed automata Verification
spellingShingle	Object-Z Structural design Timed automata Verification Dong, J.S. Hao, P. Zhang, X. Qin, S.C. HighSpec: A tool for building and checking OZTA models
description	Proceedings - International Conference on Software Engineering
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Dong, J.S. Hao, P. Zhang, X. Qin, S.C.
format	Conference or Workshop Item
author	Dong, J.S. Hao, P. Zhang, X. Qin, S.C.
author_sort	Dong, J.S.
title	HighSpec: A tool for building and checking OZTA models
title_short	HighSpec: A tool for building and checking OZTA models
title_full	HighSpec: A tool for building and checking OZTA models
title_fullStr	HighSpec: A tool for building and checking OZTA models
title_full_unstemmed	HighSpec: A tool for building and checking OZTA models
title_sort	highspec: a tool for building and checking ozta models
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40012
_version_	1681082194592792576

HighSpec: A tool for building and checking OZTA models

Similar Items