ENGINEERING RESEARCH PAPERS

correctness of wireless sensor network


Towards verifying correctness of wireless sensor network applications using Insense and SPIN

FREE-DOWNLOAD O Sharma, J Lewis, A Miller, A Dearle… – Model Checking
Abstract. The design and implementation of wireless sensor network applications often require
domain experts, who may lack expertise in soft- ware engineering, to produce
resource-constrained, concurrent, real-time software without the support of high-level



Related
COMMENT free research papers, wireless





FREE IEEE PAPERS