You came from 0913 - Mechanical Engineering
2 items found
Active filters: x Type: Dataset x Type: Item with a doi x Creator: Hartmanns, A. (Arnd) x Subject: 0104 - Statistics [remove all]
Filter: | |
---|---|
Year | |
2 | 2018 |
Subject #2 | |
1 | Applied Mathematics |
1 | Business and Management |
Collection | |
2 | General collection of datasets |
Data format (mime type) | |
2 | application/octet-stream |
2 | application/vnd.openxmlformats-officedocument.spreadsheetml.sheet |
2 | application/x-dosexec |
2 | application/zip |
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) |