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
-
Wafer-thin optical arrays could revolutionize satellite-to-satellite communication
SRI’s light emitter arrays aim to democratize optical communication among “constellations” of small satellites.
-
SRI identifies predictors of adolescent obesity
As part of a nationwide longitudinal study of adolescent brain development, researchers use AI to analyze data to pinpoint obesity risk factors.
-
SRI aims to mitigate attacks on mixed reality headsets
The team that designed a mixed reality headset for the battlefield will determine how it can prevent or neutralize attacks against the system.