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 tapped by Japanese government to establish venture initiative and attract researchers
Japan’s Global Startup Campus Initiative aims to promote innovation acceleration for deep technology startups making a global impact.
-
Quantum networking is moving out of the lab
Researchers are harnessing quantum behavior to create secure networks that will define the next communications era.
-
SRI Appoints Dimitra Vergyri as President of Information and Computing Sciences Division
AI and speech technology leader brings more than two decades of experience to her new role.