CiteSeerX — Related by cluster: Formalism in Safety Cases Appears in Making Systems Safer: Proceedings of the Eighteenth Safety-Critical

Formalism in Safety Cases Appears in Making Systems Safer: Proceedings of the Eighteenth Safety-Critical

Cached

Download Links

[www.csl.sri.com]

by John Rushby

Document Versions

Formalism in Safety Cases Appears in Making Systems Safer: Proceedings of the Eighteenth Safety-Critical –John Rushby