Logic and Epistemology in Safety Cases

SRI author:

Citation

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.


Read more from SRI