Formal Verification of Fuzzy Logic Wireless Sensor Network Localization System

Faculty	Engineering	Year:	2017
Type of Publication:	ZU Hosted	Pages:
Authors:	Hisham Abdullah Said Abdelkader Staff Zu Site Abstract In Staff Site
Journal:	The Egyptian International Journal of Engineering Sciences and Technology Faculty of Engineering - Zagazig University	Volume:

Keywords :	Formal Verification , Fuzzy Logic Wireless Sensor
Abstract:	Formal verification is mainly used to prove the correctness of safety-critical hardware and software systems. Localization problem in Wireless Sensor Network (WSN) is a hot research topic with many critical applications. Fuzzy Based Trilate