Publications

banboz:06

Summary

R. Banach and M. Bozzano (2006) Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. In Proc. SAFECOMP 2006, pages 210-223.

BibTeX Entry

@INPROCEEDINGS { banboz:06,
    AUTHOR = { R. Banach and M. Bozzano },
    TITLE = { {Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems} },
    PAGES = { 210-223 },
    BOOKTITLE = { Proc. SAFECOMP 2006 },
    YEAR = { 2006 },
}