Published December 15, 2021
| Version 1.6
Dataset
Open
A Stochastic Extension of Stateflow - Artifact
Authors/Creators
- 1. KTH Royal institute of technology
- 2. Scania CV AB
Description
Artifact for reproducing the results Vizualised in Figure 5 of the paper "A stochastic extension of Stateflow" for the conference the 13th ACM/SPEC International Conference on Performance Engineering (ICPE).