Publications

bozzano:01

Summary

M. Bozzano and A. Villafiorita (2003) Improving System Reliability via Model Checking: The FSAP/NuSMV-SASafety Analysis Platform. In Computer Safety, Reliability, and Security, 2788:49-62.

BibTeX Entry

@ARTICLE { bozzano:01,
    TITLE = { Improving System Reliability via Model Checking: The {FSAP/NuSMV-SA}Safety Analysis Platform },
    AUTHOR = { M. Bozzano and A. Villafiorita },
    JOURNAL = { Computer Safety, Reliability, and Security },
    VOLUME = { 2788 },
    PAGES = { 49-62 },
    YEAR = { 2003 },
}