Browsing Computer Science by Subject "Complex event processing"
Now showing items 1-1 of 1
-
Provenance aware run-time verification of things for self-healing Internet of Things applications
(Wiley, 2019-02-10)We propose a run-time verification mechanism of things for self-healing capability in the Internet of Things domain. We discuss the software architecture of the proposed verification mechanism and its prototype implementations. ...
Share this page