+ helpreset results/page
3 items found for «+cat:01*»
Active filters: x Data format: application/octet-stream
Filter:
Type
3Dataset
3Item with a doi
Creator
2Hartmanns, A. (Arnd)
1Burgelman, N. (Nico)
Year
22018
12016
Subject
2Applied Mathematics
2Statistics
1Business and Management
1Ground Transport
Collection
3 General collection of datasets
Data format #2
3application/zip
3text/plain
2application/vnd.openxmlformats-officedocument.spreadsheetml.sheet
2application/x-dosexec
1application/pdf
results 1-3
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)
Railway Quasi-Statics: RQS 0.1Dataset2016Burgelman, N. (Nico)