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
-
Senators introduce bipartisan bill to protect electric grid from quantum cyber threats
Legislation would help transition to post-quantum cryptography as quantum computing advances.
-
AI guides healthcare workers through blood draws, intubation, and more
NJ.com reports on an ARPA-H-funded system to bring advanced care to underserved areas.
-
CTI expands clinical research network through acquisition of SRI Clinical Trial Unit; organizations launch strategic research partnership
Government and commercial clients will benefit from expanded capabilities and operations.