Model checking software architecture design

10.1109/HASE.2012.12

Saved in:

Bibliographic Details
Main Authors:	Zhang, J., Liu, Y., Sun, J., Dong, J.S.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Formal Verification Model Checking PAT Software Architecture Wright
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40064
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40064
record_format	dspace
spelling	sg-nus-scholar.10635-400642015-04-07T18:15:07Z Model checking software architecture design Zhang, J. Liu, Y. Sun, J. Dong, J.S. Sun, J. COMPUTER SCIENCE Formal Verification Model Checking PAT Software Architecture Wright 10.1109/HASE.2012.12 Proceedings of IEEE International Symposium on High Assurance Systems Engineering 193-200 2013-07-04T07:55:51Z 2013-07-04T07:55:51Z 2012 Conference Paper Zhang, J.,Liu, Y.,Sun, J.,Dong, J.S.,Sun, J. (2012). Model checking software architecture design. Proceedings of IEEE International Symposium on High Assurance Systems Engineering : 193-200. ScholarBank@NUS Repository. <a href="https://doi.org/10.1109/HASE.2012.12" target="_blank">https://doi.org/10.1109/HASE.2012.12</a> 9780769549125 15302059 http://scholarbank.nus.edu.sg/handle/10635/40064 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Formal Verification Model Checking PAT Software Architecture Wright
spellingShingle	Formal Verification Model Checking PAT Software Architecture Wright Zhang, J. Liu, Y. Sun, J. Dong, J.S. Sun, J. Model checking software architecture design
description	10.1109/HASE.2012.12
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Zhang, J. Liu, Y. Sun, J. Dong, J.S. Sun, J.
format	Conference or Workshop Item
author	Zhang, J. Liu, Y. Sun, J. Dong, J.S. Sun, J.
author_sort	Zhang, J.
title	Model checking software architecture design
title_short	Model checking software architecture design
title_full	Model checking software architecture design
title_fullStr	Model checking software architecture design
title_full_unstemmed	Model checking software architecture design
title_sort	model checking software architecture design
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40064
_version_	1681082203615789056

Model checking software architecture design

Similar Items