Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction"

Name: Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction"
Creator: Saarland University; Technische Universität Dresden
Published: 2020-08-03T00:00:00+08:00

Zenodo2020-08-03 更新2026-04-07 收录

概率系统验证

自动驾驶测试

数据链接：

https://zenodo.org/record/3970765 数据链接链接失效反馈

官方服务：

资源简介：

The tooling, data and results for the racetrack case study in the paper <em> Components in Probabilistic Systems: Suitable by Construction, ISoLA 2020, DOI</em>

提供机构：

Saarland University; Technische Universität Dresden

创建时间：

2020-08-03