Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments.
Lei HangDohyeun KimPublished 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