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
-
Major NIH study helps families manage sleep and screentime
SRI Fellow Fiona Baker: Longitudinal research like the SRI-supported ABCD study is crucial for understanding how modern life shapes developing brains.
-
SRI and Global Innovation Labs deliver deep tech solutions to regional markets
The strategic partnership represents the next-gen approach to bridging science with rapid go-to-market strategies.
-
Achieving the potential of autonomous drones
Leveraging SRI navigation technology, Entropy Robotics aims to create safe, resilient autonomous platforms for defense, livestock management, disaster recovery, and much more.