Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments.

Lei Hang Dohyeun Kim

Published in: Sensors (2020)

Keyphrases

management system
unstructured environments
real world
cost effective
decision making
model checking
real time

real world environments
knowledge management
natural resources
working environment
smart environments
venture capital

location information
robotic systems
information management
dynamic environments
sensor networks
data mining

multi task
autonomous robots
smart grid
formal verification
physical objects
information systems