Publications

faoc21

Summary

M. Bozzano, A. Cimatti, M. Gario, D. Jones and C. Mattarei (2021) Model-based Safety Assessment of a Triple Modular Generator with xSAP. In Formal Aspects of Computing, 33(2):251-295.

BibTeX Entry

@ARTICLE { faoc21,
    AUTHOR = { M. Bozzano and A. Cimatti and M. Gario and D. Jones and C. Mattarei },
    TITLE = { Model-based Safety Assessment of a Triple Modular Generator with xSAP },
    JOURNAL = { Formal Aspects of Computing },
    VOLUME = { 33 },
    NUMBER = { 2 },
    PAGES = { 251-295 },
    YEAR = { 2021 },
}