• 已选条件：
  • × runtime verification
 全选  【符合条件的数据共：2条】

1 Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments [期刊论文]

来源：Sensors , 2020

作者:Do-Hyeun Kim, Lei Hang

关键词:internet of things;task management;...

使用许可:Unknown

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]    

2 On Safety Properties and Their Monitoring [期刊论文]

来源：Scientific Annals of Computer Science , 2012

作者:Grigore ROS¸U

关键词:runtime verification;monitoring;...

使用许可:CC BY-ND

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]