Publications

icsrs23

Summary

I. Lanzani, R. Scattolini, E. Zio, A. Cimatti, M. Bozzano, S. Tonetta (2023) Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis. To appear in proceedings of ICSRS 2023.

BibTeX Entry

@INPROCEEDINGS { icsrs23,
    AUTHOR = { I. Lanzani and R. Scattolini and E. Zio and A. Cimatti and M. Bozzano and S. Tonetta},
    TITLE = { Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis },
    BOOKTITLE = { To appear in proceedings of ICSRS 2023 },
    YEAR = { 2023 },
}