Research data accompanying the bachelor's thesis: "Symbolic Representation of Memoryless-Deterministic Schedulers"

Name: Research data accompanying the bachelor's thesis: "Symbolic Representation of Memoryless-Deterministic Schedulers"
Creator: Zenodo
Published: 2025-03-29T15:22:30+08:00

Zenodo2025-03-31 更新2026-05-26 收录

形式化验证

调度理论

数据链接：

https://zenodo.org/doi/10.5281/zenodo.15084628 数据链接链接失效反馈

官方服务：

资源简介：

Research data accompanying the bachelor's thesis: "Symbolic Representation of Memoryless-Deterministic Schedulers"

提供机构：

Zenodo

创建时间：

2025-03-29

Research data accompanying the bachelor's thesis: "Symbolic Representation of Memoryless-Deterministic Schedulers"

资源简介：

相关数据集