Presenting a safety case -- A case study

DOI10.1007/3-540-45416-0_6MaRDI QIDQ4444709zbMATH OpenFDO

Authors Odd Nordland

Publication date 27 January 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2187/21870056.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• Case study: Formal verification of a computerized railway interlocking
• scientific article; zbMATH DE number 1324647
• scientific article; zbMATH DE number 517336
• scientific article; zbMATH DE number 1324649
• Designing safety into medical decisions and clinical processes

This page was built for publication: Presenting a safety case -- A case study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4444709)