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

Description

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

Resources

Name Format Description Link
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-3970766
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-3970766

Tags

  • suitability,-probabilistic-systems,-probabilistic-input-output-systems

Topics

Categories