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 celebrates International Women’s Day
To recognize International Women’s Day, SRI shares the stories of four women whose work delivered fundamental advances in computer science.
-
The hidden cost of springing forward
Daylight Savings Time is more than just an hour lost. How can we better prepare ourselves?
-
SRI becomes a founding member of the OCUDU Ecosystem Foundation
Hosted by the Linux Foundation, the OCUDU Ecosystem Foundation will build an open-source, AI-native software stack for 5G and early 6G Radio Access Networks.