Performability Evaluation Low-Powered Sensor Node by Stochastic Model Checking


Wireless Sensor Network (WSN) applications, there may be many low-powered sensor nodes which can communicate with each other by wireless techniques. Due to limited power supply, the satisfiability of performability properties, which include energy constraints especially, must be confirmed in design phase. This will help one to avoid implementing… (More)


5 Figures and Tables

Slides referencing similar topics