Published August 3, 2020 | Version v1
Dataset Open

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

Creators

  • 1. Technische Universität Dresden
  • 2. Saarland University

Description

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

Files

suitability.zip

Files (480.8 kB)

Name Size Download all
md5:ebc0321954c8134fb57990f7630489cd
480.8 kB Preview Download

Additional details

Related works

Is cited by
Conference paper: 10.1007/978-3-030-61362-4_13 (DOI)

Funding

European Commission
POWVER – Power to the People. Verified. 695614

References

  • Components in Probabilistic Systems: Suitable by Construction, Baier, Dubslaff, Hermanns, Klauck, Klüppelholz, Köhl, ISoLA 2020.