runtime verification

Explore academic connections and research related to this keyword

101

Views

3

Total Connections

Search More Keywords

Related Articles & Bibliographies

1

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

Hang, Lei;Kim, Do-Hyeun;

2020 Sensors (Basel, Switzerland) DOI: E1207 222 views

2

Runtime verification for business processes utilizing the Bitcoin blockchain

Prybila, C.

2020 future generation computer systems DOI: 10.1016/j.future.201... 110 views

Related Journals

Sensors (Basel, Switzerland)

ISSN: 1424-8220 1,778 views

Related Research Groups

No Research Groups Found

No research groups are currently associated with this keyword.

Explore Related Keywords

Internet of Things blockchain smart contract task management