Crossmark

Optimal spare management via statistical model checking: a case study in research reactors

Crossref DOI link: https://doi.org/10.1007/s10009-025-00791-4

Published Online: 2025-04-22

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Soltani, Reza

Volk, Matthias

Diamonte, Leonardo

Lopuhaä-Zwakenberg, Milan

Stoelinga, Mariëlle
License Information

Text and Data Mining valid from 2025-04-22

Version of Record valid from 2025-04-22
More Information

Article History

Accepted: 4 April 2025

First Online: 22 April 2025