Browsing Computer Science by Subject "Runtime monitoring"
Now showing items 1-2 of 2
-
Model-based runtime monitoring of smart city systems
(Elsevier, 2018)The pace of proliferation for smart systems in city wide applications is unmatched. The introduction of Internet of Things (IoT), an enabler of smart city phenomenon, has incubated a productive environment for such ... -
Runtime verification of Iot systems using complex event processing
(IEEE, 2017)Internet of Things (IoT) is a new computing paradigm that is proliferated by wide adoption of application level protocols such as MQTT and CoAP, each of which defines different styles of sequential interaction of events. ...
Share this page