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.
Logic and Epistemology in Safety Cases
Read more from SRI
-
SRI study finds structured linguistic phonics boosts reading for older learners
A new study from SRI Education offers rigorous evidence on phonics instruction for grades 4–8.
-
SRI wins autonomous Space Domain Awareness role in U.S.–Korea collaboration
SRI was awarded a subcontract to STEP Lab Ltd. to develop an optical payload for space domain awareness.
-
Reuters covers SRI’s work in the ARPA-H-funded PARADIGM program
The program aims to bring care to rural areas as hospitals close.