Linking Simulation with Formal Verification and Modeling of Wireless Sensor Network in TLA+

Computer Networks - Communications in Computer and Information Science ◽

10.1007/978-3-642-13861-4_13 ◽

2010 ◽

pp. 131-140 ◽

Cited By ~ 2

Author(s):

Jerzy Martyna

Keyword(s):

Wireless Sensor Network ◽

Formal Verification ◽

Sensor Network ◽

Wireless Sensor

Download Full-text

Formal verification for wireless sensor network in consideration of communication errors

2018 International Conference on Information Networking (ICOIN) ◽

10.1109/icoin.2018.8343202 ◽

2018 ◽

Author(s):

Akihiro Ikeda ◽

Naoki Akiyama ◽

Toshiaki Miyazaki

Keyword(s):

Wireless Sensor Network ◽

Formal Verification ◽

Sensor Network ◽

Wireless Sensor ◽

Communication Errors

Download Full-text

Formal Verification of Fuzzy Logic Wireless Sensor Network Localization System

Egyptian Journal for Engineering Sciences and Technology ◽

10.21608/eijest.2018.97230 ◽

2018 ◽

Vol 24 (1) ◽

pp. 48-55

Author(s):

H Abdullah ◽

H SHEHATA ◽

I Ziedan

Keyword(s):

Fuzzy Logic ◽

Wireless Sensor Network ◽

Formal Verification ◽

Sensor Network ◽

Wireless Sensor ◽

Sensor Network Localization ◽

Localization System ◽

Network Localization

Download Full-text

Key exchange protocol for Wireless Sensor Network: Formal verification using CSN modal logic

2008 IEEE Sensors Applications Symposium ◽

10.1109/sas13374.2008.4472969 ◽

2008 ◽

Cited By ~ 1

Author(s):

Yue Li ◽

Thomas Newe

Keyword(s):

Wireless Sensor Network ◽

Modal Logic ◽

Formal Verification ◽

Sensor Network ◽

Key Exchange ◽

Wireless Sensor ◽

Key Exchange Protocol

Download Full-text

Implementation of Compressive Sensing Algorithm for Wireless Sensor Network Energy Conservation

10.3390/ecsa-1-d004 ◽

2014 ◽

Cited By ~ 2

Author(s):

Wen-Yaw Chung ◽

Jocelyn Villaverde

Keyword(s):

Wireless Sensor Network ◽

Energy Conservation ◽

Compressive Sensing ◽

Sensor Network ◽

Wireless Sensor

Download Full-text

An Efficient Clustering Algorithm Based on Expectation Maximization Algorithm in Wireless Sensor Network

Oct. 17-19, 2017 Dubai (UAE) ◽

10.15242/dirpub.dir1017011 ◽

2018 ◽

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Expectation Maximization ◽

Clustering Algorithm ◽

Expectation Maximization Algorithm ◽

Wireless Sensor

Download Full-text

Energy Aware Data-Centric Routing in Wireless Sensor Network

International Conference on Advances in Engineering and Technology (ICAET'2014) March 29-30, 2014 Singapore ◽

10.15242/iie.e0314065 ◽

2014 ◽

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Wireless Sensor ◽

Energy Aware

Download Full-text

ARDUINO-BASED WIRELESS SENSOR NETWORK FOR TRACK CYCLING PERFORMANCE MONITORING

10.15282/mohe.2014.ses.065 ◽

2014 ◽

Author(s):

Sadik Kamel Gharghan ◽

◽

Rosdiadee Nordin ◽

Mahamod Ismail

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Performance Monitoring ◽

Cycling Performance ◽

Wireless Sensor ◽

Track Cycling

Download Full-text

A Low Energy Consumption in Precision Agriculture Using Wireless Sensor Network

Indian Journal Of Applied Research ◽

10.15373/2249555x/mar2014/39 ◽

2011 ◽

Vol 4 (3) ◽

pp. 134-135

Author(s):

A.Gowri Priya A.Gowri Priya ◽

◽

K.Kannan K.Kannan

Keyword(s):

Energy Consumption ◽

Wireless Sensor Network ◽

Sensor Network ◽

Precision Agriculture ◽

Low Energy ◽

Wireless Sensor ◽

Low Energy Consumption

Download Full-text

Monitoring Maximum Duration of Storage of Yellow Banana in Control RH% Using Wireless Sensor Network

International Journal of Scientific Research ◽

10.15373/22778179/aug2013/62 ◽

2012 ◽

Vol 2 (8) ◽

pp. 188-190

Author(s):

Targol Abrishami ◽

◽

Dr. N. M. Kulkarni Dr. N. M. Kulkarni ◽

Dr. A. D. Shaligram Dr. A. D. Shaligram

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Wireless Sensor ◽

Maximum Duration ◽

Duration Of Storage

Download Full-text

A Distributed Multi-hop Low Cost Time Synchronization Algorithm in Wireless Sensor Network developed for Bridge Diagnosis System

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.132.656 ◽

2012 ◽

Vol 132 (5) ◽

pp. 656-665 ◽

Cited By ~ 2

Author(s):

Haitao Xiao ◽

Harutoshi Ogai ◽

Zhehan Ding

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Time Synchronization ◽

Low Cost ◽

Wireless Sensor ◽

Diagnosis System ◽

Synchronization Algorithm

Download Full-text