You came from 0913 - Mechanical Engineering
2 items found
Active filters: x Type: Dataset x Creator: Hartmanns, A. (Arnd) x Subject: 0104 - Statistics x Data format: application/zip [remove all]
Filter: | |
---|---|
Type #2 | |
2 | Item with a doi |
Year | |
2 | 2018 |
Subject #2 | |
1 | Applied Mathematics |
1 | Business and Management |
Collection | |
2 | General collection of datasets |
Data format #2 | |
2 | application/octet-stream |
2 | application/vnd.openxmlformats-officedocument.spreadsheetml.sheet |
2 | application/x-dosexec |
2 | text/plain |
1 | application/pdf |
results 1-2 | |
---|---|
► | Lightweight Statistical Model Checking in Nondeterministic Continuous Time (Artifact)Dataset2018Hartmanns, A. (Arnd) |
► | A Statistical Model Checker for Nondeterminism and Rare Events (Artifact)Dataset2018Hartmanns, A. (Arnd) |