Published December 15, 2021
| Version 1.1
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).
Files
Artifact.zip
Files
(21.1 MB)
| Name | Size | |
|---|---|---|
|
md5:ad6cbcfa6e5f069c36786d4990c3ee8e
|
10.6 MB | Preview Download |
|
md5:269c92d7c33797ef754d0a7372fbf814
|
1.2 MB | Preview Download |
|
md5:9e68607f75347b647c4a085b23052fce
|
3.5 kB | Preview Download |
|
md5:fea8fa38a9ce29cc04912bf98b9b475b
|
9.4 MB | Download |
|
md5:63c2e839bd5a630839df7f62fcac50e8
|
381 Bytes | Download |