AP-RVSE Dataset
收藏DataCite Commons2026-01-07 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/7f26cc23-b700-4ca7-8c5f-308b8fe2945e
下载链接
链接失效反馈官方服务：
资源简介：
The dataset is used to evaluate the Approximate Precomputed Runtime Verification with State Estimation (AP-RVSE) algorithm. It is a statistical model of the monitored system to fill in sampling-induced gaps in event sequences, and then calculate the probability that the property of interest is satisfied or violated.
提供机构：
TIB
创建时间：
2025-01-03
