The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example.

Bev Littlewood David Wright The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example. 347-365 2007 33 IEEE Trans. Software Eng. 5 http://dx.doi.org/10.1109/TSE.2007.1002 db/journals/tse/tse33.html#LittlewoodW07