Formal Verification of mCWQ Using Extended Hoare Logic

Node mobility, as one of the most important features of Wireless Sensor Networks (WSNs), may affect the reliability of communication links in the networks, leading to abnormalities and decreasing the quality of service provided by WSNs. The mCWQ calculus (i.e., CWQ calculus with mobility) is recentl...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Mobile networks and applications 2019-02, Vol.24 (1), p.134-144
Hauptverfasser:	Xie, Wanling, Zhu, Huibiao, Wu, Xi, Vinh, Phan Cong
Format:	Artikel
Sprache:	eng
Schlagworte:	Abnormalities Calculus Communications Engineering Communications systems Computer Communication Networks Electrical Engineering Engineering IT in Business Network reliability Networks Quality of service architectures Remote sensors Wireless communications Wireless networks Wireless sensor networks
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!