Specifying and verifying sensor networks: An experiment of formal methods

Specifying and verifying sensor networks: An experiment of formal methods

With the development of sensor technology and electronic miniaturization, wireless sensor networks have shown a wide range of promising applications as well as challenges. Early stage sensor network analysis is critical, which allows us to reveal design errors before sensor deployment. Due to their...

Full description

Saved in:
Bibliographic Details
Main Authors: DONG, Jin Song, SUN, Jing, SUN, Jun, TAGUCHI, Kenji, ZHANG, Xian
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2008
Subjects:
Sensor Network
Sensor Node
Wireless Sensor Network
Network Topology
Model Check
Programming Languages and Compilers
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/5049
https://ink.library.smu.edu.sg/context/sis_research/article/6052/viewcontent/Specifying_and_Verifying_Sensor_Networks.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/5049
https://ink.library.smu.edu.sg/context/sis_research/article/6052/viewcontent/Specifying_and_Verifying_Sensor_Networks.pdf

Similar Items