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 (2007)

by W Littlewood, D Wright
Venue:Software Engineering, IEEE Transactions on