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: TU Dresden; Technische Universität Dresden
Published: 2025-03-31T00:00:00+08:00

Zenodo2025-03-31 更新2026-04-07 收录

调度器符号表示

形式化验证

数据链接：

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

官方服务：

资源简介：

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

提供机构：

TU Dresden; Technische Universität Dresden

创建时间：

2025-03-31

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

资源简介：

相关数据集