Experimental data for the paper "Analyzing and Predicting Verification of Dat...

Name: Experimental data for the paper "Analyzing and Predicting Verification of Dat...
Published: 2026-04-28T22:21:47+08:00

B2FIND2026-04-28 收录

数据感知过程模型验证

过程模型形式化验证

数据链接：

https://b2find.eudat.eu/dataset/4b737382-49e0-52e1-b99f-0e5a3aece11c 数据链接链接失效反馈

官方服务：

资源简介：

These are the experimental data for the paper Ordoni, Elaheh, Jakob Bach, and Ann-Katrin Fleck. "Analyzing and Predicting Verification of Data-Aware Process Models--A Case...

Experimental data for the paper "Analyzing and Predicting Verification of Dat...

资源简介：

相关数据集