Timed automata patterns

10.1109/TSE.2008.52

Saved in:

Bibliographic Details
Main Authors:	Dong, J.S., Hao, P., Qin, S., Sun, J., Yi, W.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	TCOZ Timed Automata Timed patterns UPPAAL
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/38951
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-38951
record_format	dspace
spelling	sg-nus-scholar.10635-389512023-10-30T07:04:21Z Timed automata patterns Dong, J.S. Hao, P. Qin, S. Sun, J. Yi, W. COMPUTER SCIENCE TCOZ Timed Automata Timed patterns UPPAAL 10.1109/TSE.2008.52 IEEE Transactions on Software Engineering 34 6 844-859 IESED 2013-07-04T07:30:35Z 2013-07-04T07:30:35Z 2008 Article Dong, J.S., Hao, P., Qin, S., Sun, J., Yi, W. (2008). Timed automata patterns. IEEE Transactions on Software Engineering 34 (6) : 844-859. ScholarBank@NUS Repository. https://doi.org/10.1109/TSE.2008.52 00985589 http://scholarbank.nus.edu.sg/handle/10635/38951 000261175200009 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	TCOZ Timed Automata Timed patterns UPPAAL
spellingShingle	TCOZ Timed Automata Timed patterns UPPAAL Dong, J.S. Hao, P. Qin, S. Sun, J. Yi, W. Timed automata patterns
description	10.1109/TSE.2008.52
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Dong, J.S. Hao, P. Qin, S. Sun, J. Yi, W.
format	Article
author	Dong, J.S. Hao, P. Qin, S. Sun, J. Yi, W.
author_sort	Dong, J.S.
title	Timed automata patterns
title_short	Timed automata patterns
title_full	Timed automata patterns
title_fullStr	Timed automata patterns
title_full_unstemmed	Timed automata patterns
title_sort	timed automata patterns
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/38951
_version_	1781410953235005440

Similar Items