Spatial properties verification approach of wireless sensor networks using model checking
-
Published:2022
Issue:3
Volume:40
Page:175
-
ISSN:1748-1279
-
Container-title:International Journal of Sensor Networks
-
language:en
-
Short-container-title:IJSNET
Author:
Wang Jia,Niu Jun,Yuan Zheke,Fei Fan
Publisher
Inderscience Publishers
Subject
Electrical and Electronic Engineering,Computer Networks and Communications,Computer Science Applications,Control and Systems Engineering