Selamat: Binary and experiment data

Name: Selamat: Binary and experiment data
Published: 2021-12-23T00:00:00+08:00

NIAID Data Ecosystem2026-03-13 收录

服务组合形式化验证

时间需求自动合成

数据链接：

https://figshare.com/articles/dataset/Selamat_Binary_and_experiment_data/17429465 数据链接链接失效反馈

官方服务：

资源简介：

This is a tool developed based on the paper "Automated synthesis of local time requirement for service composition" published in Software and Systems Modeling in 2020.

创建时间：

2021-12-23

Selamat: Binary and experiment data

资源简介：

相关数据集