Formal modeling and validation of Stateflow diagrams

10.1007/s10009-012-0235-0

Saved in:

Bibliographic Details
Main Authors:	Chen, C., Sun, J., Liu, Y., Dong, J.S., Zheng, M.
Other Authors:	TEMASEK LABORATORIES
Format:	Article
Published:	2013
Subjects:	Model checking Model-based development Stateflow Transformation Validation
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/43028
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-43028
record_format	dspace
spelling	sg-nus-scholar.10635-430282024-11-08T17:54:33Z Formal modeling and validation of Stateflow diagrams Chen, C. Sun, J. Liu, Y. Dong, J.S. Zheng, M. TEMASEK LABORATORIES COMPUTER SCIENCE Model checking Model-based development Stateflow Transformation Validation 10.1007/s10009-012-0235-0 International Journal on Software Tools for Technology Transfer 14 6 653-671 2013-07-23T09:23:01Z 2013-07-23T09:23:01Z 2012 Article Chen, C.,Sun, J.,Liu, Y.,Dong, J.S.,Zheng, M. (2012). Formal modeling and validation of Stateflow diagrams. International Journal on Software Tools for Technology Transfer 14 (6) : 653-671. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/s10009-012-0235-0" target="_blank">https://doi.org/10.1007/s10009-012-0235-0</a> 14332779 http://scholarbank.nus.edu.sg/handle/10635/43028 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Model checking Model-based development Stateflow Transformation Validation
spellingShingle	Model checking Model-based development Stateflow Transformation Validation Chen, C. Sun, J. Liu, Y. Dong, J.S. Zheng, M. Formal modeling and validation of Stateflow diagrams
description	10.1007/s10009-012-0235-0
author2	TEMASEK LABORATORIES
author_facet	TEMASEK LABORATORIES Chen, C. Sun, J. Liu, Y. Dong, J.S. Zheng, M.
format	Article
author	Chen, C. Sun, J. Liu, Y. Dong, J.S. Zheng, M.
author_sort	Chen, C.
title	Formal modeling and validation of Stateflow diagrams
title_short	Formal modeling and validation of Stateflow diagrams
title_full	Formal modeling and validation of Stateflow diagrams
title_fullStr	Formal modeling and validation of Stateflow diagrams
title_full_unstemmed	Formal modeling and validation of Stateflow diagrams
title_sort	formal modeling and validation of stateflow diagrams
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/43028
_version_	1821220796572368896

Formal modeling and validation of Stateflow diagrams

Similar Items