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

Reza Soltani (Creator)
Matthias Volk (Creator)
Leonardo Andres Diamonte (Creator)
Milan Abel Lopuhaä - Zwakenberg (Creator)
Mariëlle I.A. Stoelinga (Creator)

Dataset

1 Conference contribution

1 results

2023
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors
Soltani, R., Volk, M., Diamonte, L., Lopuhaä-Zwakenberg, M. & Stoelinga, M., 17 Sept 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Cham, Switzerland: Springer Nature, p. 205-223 19 p. (Lecture notes in computer science; vol. 14290).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
1 Citation (Scopus)

49 Downloads (Pure)