A verification study based on the CTP model

Master's

Saved in:

Bibliographic Details
Main Author:	KAMRUL HASAN TALUKDER
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	Message Sequence Charts, Verification,CTP model, SMV, CTL,Event Structures
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/13642
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-13642
record_format	dspace
spelling	sg-nus-scholar.10635-136422015-01-07T02:33:52Z A verification study based on the CTP model KAMRUL HASAN TALUKDER COMPUTER SCIENCE P. S. THIAGARAJAN Message Sequence Charts, Verification,CTP model, SMV, CTL,Event Structures Master's MASTER OF SCIENCE 2010-04-08T10:35:04Z 2010-04-08T10:35:04Z 2004-02-13 Thesis KAMRUL HASAN TALUKDER (2004-02-13). A verification study based on the CTP model. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/13642 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Message Sequence Charts, Verification,CTP model, SMV, CTL,Event Structures
spellingShingle	Message Sequence Charts, Verification,CTP model, SMV, CTL,Event Structures KAMRUL HASAN TALUKDER A verification study based on the CTP model
description	Master's
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE KAMRUL HASAN TALUKDER
format	Theses and Dissertations
author	KAMRUL HASAN TALUKDER
author_sort	KAMRUL HASAN TALUKDER
title	A verification study based on the CTP model
title_short	A verification study based on the CTP model
title_full	A verification study based on the CTP model
title_fullStr	A verification study based on the CTP model
title_full_unstemmed	A verification study based on the CTP model
title_sort	verification study based on the ctp model
publishDate	2010
url	http://scholarbank.nus.edu.sg/handle/10635/13642
_version_	1681078892734971904

Similar Items