Cyber & formal methods publications September 1, 2013 Conference Paper

Logic and Epistemology in Safety Cases

SRI International, John Rushby September 1, 2013

SRI Authors: John Rushby

Citation

Copy to clipboard

Rushby, J. (2013, 24-27 September). Logic and epistemology in safety cases. Paper presented at the International Conference on Computer Safety, Reliability and Security (SAFECOMP ’13), Toulouse, France.

↓ View online

Logic and Epistemology in Safety Cases

SRI Authors: John Rushby

Citation

How can we help?

Once you hit send…

Make your own mark.

Our work

Institute

Careers

Contact

Subscribe to our newsletter