Software safety goal verification using fault tree techniques: a critically ill patient monitor example.

Brian Connolly

Browse the full CBMS paper archive.