Isabella Lanzani, Riccardo Scattolini, Enrico Zio, Alessandro Cimatti, Marco Bozzano, Stefano Tonetta. Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis. In 7th International Conference on System Reliability and Safety, ICSRS 2023, Bologna, Italy, November 22-24, 2023. pages 376-383, IEEE, 2023. [doi]
Abstract is missing.