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 addresses the rural healthcare gap with AI innovation
SRI researchers are building an AI-driven system designed to upskill clinicians and transform rural healthcare delivery.
-
Cultivating hard tech startups that scale
IEEE’s Hard Tech Venture Summit convened innovators at SRI to refine strategies and build new networks.
-
Bringing surgical tools inside the MRI
Drawing on SRI’s unique innovation ecosystem, the startup Medical Devices Corner is seeking to improve cancer surgery by advancing MRI-safe teleoperation.