Formal analysis for stateflow diagrams

10.1109/SSIRI-C.2010.29

Saved in:

Bibliographic Details
Main Author:	Chen, C.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Formal methods Model checking Stateflow
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/42190
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-42190
record_format	dspace
spelling	sg-nus-scholar.10635-421902015-02-13T19:19:58Z Formal analysis for stateflow diagrams Chen, C. COMPUTER SCIENCE Formal methods Model checking Stateflow 10.1109/SSIRI-C.2010.29 SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion 102-109 2013-07-04T08:45:37Z 2013-07-04T08:45:37Z 2010 Conference Paper Chen, C. (2010). Formal analysis for stateflow diagrams. SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion : 102-109. ScholarBank@NUS Repository. <a href="https://doi.org/10.1109/SSIRI-C.2010.29" target="_blank">https://doi.org/10.1109/SSIRI-C.2010.29</a> 9780769540870 http://scholarbank.nus.edu.sg/handle/10635/42190 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Formal methods Model checking Stateflow
spellingShingle	Formal methods Model checking Stateflow Chen, C. Formal analysis for stateflow diagrams
description	10.1109/SSIRI-C.2010.29
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chen, C.
format	Conference or Workshop Item
author	Chen, C.
author_sort	Chen, C.
title	Formal analysis for stateflow diagrams
title_short	Formal analysis for stateflow diagrams
title_full	Formal analysis for stateflow diagrams
title_fullStr	Formal analysis for stateflow diagrams
title_full_unstemmed	Formal analysis for stateflow diagrams
title_sort	formal analysis for stateflow diagrams
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/42190
_version_	1681082574124875776

Formal analysis for stateflow diagrams

Similar Items