Software monitoring through formal specification animation

10.1007/s11334-009-0096-1

Saved in:

Bibliographic Details
Main Authors:	Liang, H., Dong, J.S., Sun, J., Wong, W.E.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/38946
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-38946
record_format	dspace
spelling	sg-nus-scholar.10635-389462023-10-29T20:09:08Z Software monitoring through formal specification animation Liang, H. Dong, J.S. Sun, J. Wong, W.E. COMPUTER SCIENCE 10.1007/s11334-009-0096-1 Innovations in Systems and Software Engineering 5 4 231-241 2013-07-04T07:30:28Z 2013-07-04T07:30:28Z 2009 Article Liang, H., Dong, J.S., Sun, J., Wong, W.E. (2009). Software monitoring through formal specification animation. Innovations in Systems and Software Engineering 5 (4) : 231-241. ScholarBank@NUS Repository. https://doi.org/10.1007/s11334-009-0096-1 16145046 http://scholarbank.nus.edu.sg/handle/10635/38946 000217403200001 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	10.1007/s11334-009-0096-1
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Liang, H. Dong, J.S. Sun, J. Wong, W.E.
format	Article
author	Liang, H. Dong, J.S. Sun, J. Wong, W.E.
spellingShingle	Liang, H. Dong, J.S. Sun, J. Wong, W.E. Software monitoring through formal specification animation
author_sort	Liang, H.
title	Software monitoring through formal specification animation
title_short	Software monitoring through formal specification animation
title_full	Software monitoring through formal specification animation
title_fullStr	Software monitoring through formal specification animation
title_full_unstemmed	Software monitoring through formal specification animation
title_sort	software monitoring through formal specification animation
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/38946
_version_	1781410952519876608

Software monitoring through formal specification animation

Similar Items