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
-
New research shows kids learn STEM skills from PBS KIDS
SRI research demonstrates that screen-based educational content can measurably improve how young children understand the world around them.
-
A new security threat to AI models
SRI research demonstrates how bad actors might encode undetectable malware inside complex deep neural networks.
-
In search of fair play: Designing pay parity for Head Start teachers
SRI researchers are informing how Head Start programs set standards to improve pay for teachers.