A Novel Runtime Verification Solution for IoT Systems

Internet of Things (IoT) systems promise a seamless connected world with machines integrating their services without human intervention. It's highly probable that the entities participating in such autonomous machine to machine interactions are to be provided by different manufactures. Thus, in...

Full description

Bibliographic Details
Main Authors: Koray Incki, Ismail Ari
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Online Access:https://ieeexplore.ieee.org/document/8308707/