Generic fault tolerant software architecture: Modeling, customization and verification

Ph.D

Saved in:

Bibliographic Details
Main Author:	YUAN LING
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	GFTSA, Fault Tolerance, Object-Z, XVCL, PVS, ProofLite
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/13267
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-13267
record_format	dspace
spelling	sg-nus-scholar.10635-132672015-01-06T11:06:58Z Generic fault tolerant software architecture: Modeling, customization and verification YUAN LING COMPUTER SCIENCE DONG JIN SONG GFTSA, Fault Tolerance, Object-Z, XVCL, PVS, ProofLite Ph.D DOCTOR OF PHILOSOPHY 2010-04-08T10:31:29Z 2010-04-08T10:31:29Z 2008-04-03 Thesis YUAN LING (2008-04-03). Generic fault tolerant software architecture: Modeling, customization and verification. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/13267 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	GFTSA, Fault Tolerance, Object-Z, XVCL, PVS, ProofLite
spellingShingle	GFTSA, Fault Tolerance, Object-Z, XVCL, PVS, ProofLite YUAN LING Generic fault tolerant software architecture: Modeling, customization and verification
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE YUAN LING
format	Theses and Dissertations
author	YUAN LING
author_sort	YUAN LING
title	Generic fault tolerant software architecture: Modeling, customization and verification
title_short	Generic fault tolerant software architecture: Modeling, customization and verification
title_full	Generic fault tolerant software architecture: Modeling, customization and verification
title_fullStr	Generic fault tolerant software architecture: Modeling, customization and verification
title_full_unstemmed	Generic fault tolerant software architecture: Modeling, customization and verification
title_sort	generic fault tolerant software architecture: modeling, customization and verification
publishDate	2010
url	http://scholarbank.nus.edu.sg/handle/10635/13267
_version_	1681078828454117376

Generic fault tolerant software architecture: Modeling, customization and verification

Similar Items