default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th SSS 2007: Bristol, UK
- Felix Redmill, Tom Anderson:
The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007. Springer 2007, ISBN 978-1-84628-805-0
Part 1 / Interdependence of Safety and Security
- John Ridgway:
Achieving Safety through Security Management. 3-20 - Peter H. Jesty, David D. Ward:
Towards a Unified Approach to Safety and Security in Automotive Systems. 21-34 - Brian Dobbing, Samantha Lautieri:
Dependability-by-Contract. 35-51
Part 2 / Demonstrating Safety
- Ibrahim Habli, Tim Kelly:
Achieving Integrated Process and Product Safety Arguments. 55-68 - Alan Newton, Andrew Vickers:
The Benefits of Electronic Safety Cases. 69-82
Part 3 / Safety Management
- Chris W. Johnson, C. Michael Holloway:
A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006). 85-104 - Liz Beswick, Jonathan Kettleborough:
A Proactive Approach to Enhancing Safety Culture. 105-115 - Richard Maguire:
Comparing and Contrasting some of the Approaches in UK and USA Safety Assessment Processes. 117-129
Part 4 / Trends in Safety Case Development
- Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly:
Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. 133-146 - John Spriggs:
The Sum of its Parts. 147-159
Part 5 / Lessons in Safety Assessment
- Paul Edwards, Andrew Furse, Andrew Vickers:
Independently Assessing Legacy Safety Systems. 163-178 - Rodney May:
Safety Assessments of Air Traffic Systems. 179-195 - Barry Kirwan, W. Huw Gibson:
CARA: A Human Reliability Assessment Tool for Air Traffic Safety Management - Technical Basis and Preliminary Architecture. 197-214
Part 6 / High Integrity from Specification to Code
- Marcelin Fortes da Cruz, Paul Raistrick:
AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration. 217-241 - Colin M. O'Halloran
, Clive H. Pygott:
Formalising C and C++ for Use in High Integrity Systems. 243-260
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-09 01:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
