Applying Model Checking to Pervasive Computing Systems

Ph.D

Saved in:

Bibliographic Details
Main Author:	LIU YAN
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2014
Subjects:	System Analysis, Model Checking, Pervasive Computing Systems, Correctness Analysis, Reliability Analysis, Case Study
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/107370
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-107370
record_format	dspace
spelling	sg-nus-scholar.10635-1073702024-10-24T20:26:31Z Applying Model Checking to Pervasive Computing Systems LIU YAN COMPUTER SCIENCE DONG JIN SONG System Analysis, Model Checking, Pervasive Computing Systems, Correctness Analysis, Reliability Analysis, Case Study Ph.D DOCTOR OF PHILOSOPHY 2014-10-31T18:00:20Z 2014-10-31T18:00:20Z 2014-06-16 Thesis LIU YAN (2014-06-16). Applying Model Checking to Pervasive Computing Systems. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/107370 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	System Analysis, Model Checking, Pervasive Computing Systems, Correctness Analysis, Reliability Analysis, Case Study
spellingShingle	System Analysis, Model Checking, Pervasive Computing Systems, Correctness Analysis, Reliability Analysis, Case Study LIU YAN Applying Model Checking to Pervasive Computing Systems
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE LIU YAN
format	Theses and Dissertations
author	LIU YAN
author_sort	LIU YAN
title	Applying Model Checking to Pervasive Computing Systems
title_short	Applying Model Checking to Pervasive Computing Systems
title_full	Applying Model Checking to Pervasive Computing Systems
title_fullStr	Applying Model Checking to Pervasive Computing Systems
title_full_unstemmed	Applying Model Checking to Pervasive Computing Systems
title_sort	applying model checking to pervasive computing systems
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/107370
_version_	1821227977522806784

Applying Model Checking to Pervasive Computing Systems

Similar Items