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
-
Zero-energy cooling named a WEF top 10 emerging technology
Passive radiative cooling, a technology that beams heat into space without using electricity, moves from lab to rooftop.
-
Case study: Edge AI deployment gets simpler with Latent AI
2018 SRI spinout helps developers compress, secure, and deploy AI models at the edge.
-
SRI scientist Thomas Kilduff and team recognized for their seminal contributions to the hypocretin/orexin system
The team was awarded the SCNi Academic Prize Medal at the University of Oxford.