Artefact for "Optimal spare management via statistical model checking: A case study in research reactors"

Dataset

Description

This artefact contains the Uppaal model, analysis queries and results for the paper
Date made available31 Jul 2023
PublisherZenodo

Cite this