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 marks 80 years: exploring what comes next
SRI looks ahead to an era of innovation that serves everyone.
-
Five years of building innovation readiness: SRI and Nomura Holdings celebrate NSIC milestone
NSIC has helped 25 Japanese companies develop the capabilities and connections to pursue new business opportunities.
-
SRI’s smart lidar imager joins DARPA’s ERIS Marketplace
SRI’s low-power, dual-mode lidar imager is now available to government customers.