Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction"
From MaRDI portal
Dataset:6718545
DOI10.5281/zenodo.3970766Zenodo3970766MaRDI QIDQ6718545FDOQ6718545
Dataset published at Zenodo repository.
Sascha Klüppelholz, Holger Hermanns, Christel Baier, Clemens Dubslaff, Maximilian A. Köhl, Michaela Klauck
Publication date: 3 August 2020
Copyright license: Creative Commons Attribution 4.0 International
The tooling, data and results for the racetrack case study in the paper Components in Probabilistic Systems: Suitable by Construction, ISoLA 2020, DOI
This page was built for dataset: Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction"
