A formal framework for modeling and validating Simulink diagrams

10.1007/s00165-009-0108-9

Saved in:

Bibliographic Details
Main Authors:	Chen, C., Dong, J.S., Sun, J.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Formal Verification Real-Time Specification Simulink Z Language
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/38947
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-38947
record_format	dspace
spelling	sg-nus-scholar.10635-389472023-10-30T07:04:26Z A formal framework for modeling and validating Simulink diagrams Chen, C. Dong, J.S. Sun, J. COMPUTER SCIENCE Formal Verification Real-Time Specification Simulink Z Language 10.1007/s00165-009-0108-9 Formal Aspects of Computing 21 5 451-483 FACME 2013-07-04T07:30:30Z 2013-07-04T07:30:30Z 2009 Article Chen, C., Dong, J.S., Sun, J. (2009). A formal framework for modeling and validating Simulink diagrams. Formal Aspects of Computing 21 (5) : 451-483. ScholarBank@NUS Repository. https://doi.org/10.1007/s00165-009-0108-9 09345043 http://scholarbank.nus.edu.sg/handle/10635/38947 000269917500004 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Formal Verification Real-Time Specification Simulink Z Language
spellingShingle	Formal Verification Real-Time Specification Simulink Z Language Chen, C. Dong, J.S. Sun, J. A formal framework for modeling and validating Simulink diagrams
description	10.1007/s00165-009-0108-9
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chen, C. Dong, J.S. Sun, J.
format	Article
author	Chen, C. Dong, J.S. Sun, J.
author_sort	Chen, C.
title	A formal framework for modeling and validating Simulink diagrams
title_short	A formal framework for modeling and validating Simulink diagrams
title_full	A formal framework for modeling and validating Simulink diagrams
title_fullStr	A formal framework for modeling and validating Simulink diagrams
title_full_unstemmed	A formal framework for modeling and validating Simulink diagrams
title_sort	formal framework for modeling and validating simulink diagrams
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/38947
_version_	1781410952700231680

A formal framework for modeling and validating Simulink diagrams

Similar Items