Modeling and Verification of Symbolic Distributed Applications Through an Intelligent Monitoring Agent
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3204043
Abstract: Wireless Sensor Networks (WSNs) represent a key component in emerging distributed computing paradigms such as IoT, Ambient Intelligence, and Smart Cities. In these contexts, the difficulty of testing, verifying, and monitoring applications in their intended… read more here.
Keywords: distributed applications; symbolic distributed; verification symbolic; monitoring ... See more keywords