Systematic and automatic verification of sensor networks

Ph.D

Saved in:

Bibliographic Details
Main Author:	ZHENG MANCHUN
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2013
Subjects:	Sensor Networks, Formal Verification, Partial Order Reduction, Cartesian Semantics, TinyOS, NesC
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/43428
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-43428
record_format	dspace
spelling	sg-nus-scholar.10635-434282015-01-09T09:10:53Z Systematic and automatic verification of sensor networks ZHENG MANCHUN COMPUTER SCIENCE DONG JIN SONG Sensor Networks, Formal Verification, Partial Order Reduction, Cartesian Semantics, TinyOS, NesC Ph.D DOCTOR OF PHILOSOPHY 2013-07-31T18:01:14Z 2013-07-31T18:01:14Z 2013-01-22 Thesis ZHENG MANCHUN (2013-01-22). Systematic and automatic verification of sensor networks. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/43428 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Sensor Networks, Formal Verification, Partial Order Reduction, Cartesian Semantics, TinyOS, NesC
spellingShingle	Sensor Networks, Formal Verification, Partial Order Reduction, Cartesian Semantics, TinyOS, NesC ZHENG MANCHUN Systematic and automatic verification of sensor networks
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE ZHENG MANCHUN
format	Theses and Dissertations
author	ZHENG MANCHUN
author_sort	ZHENG MANCHUN
title	Systematic and automatic verification of sensor networks
title_short	Systematic and automatic verification of sensor networks
title_full	Systematic and automatic verification of sensor networks
title_fullStr	Systematic and automatic verification of sensor networks
title_full_unstemmed	Systematic and automatic verification of sensor networks
title_sort	systematic and automatic verification of sensor networks
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/43428
_version_	1681082775502848000

Systematic and automatic verification of sensor networks

Similar Items