Abstract is missing.
- Formalism in Safety CasesJohn M. Rushby. 3-17 [doi]
- Bureaucracy, Safety and Software: a Potentially Lethal CocktailLes Hatton. 21-36 [doi]
- Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR) - An Objective OverviewGraham Jolliffe. 37-50 [doi]
- Safety and Assurance Cases: Past, Present and Possible Future - an Adelard PerspectiveRobin E. Bloomfield, Peter G. Bishop. 51-67 [doi]
- An Integrated Project Management Life Cycle Supporting System SafetyHans Tschürtz, Gabriele Schedl. 71-83 [doi]
- Patterns in Safety-Related ProjectsMike Parsons, Charles Hunter. 85-100 [doi]
- Applying IEC 61508 to Air Traffic Management SystemsRonald Pierce, Derek Fowler. 103-113 [doi]
- Phileas, a Safety Critical Trip around the WorldJean-Luc Valk, Hans Vis, Gerard Koning. 115-126 [doi]
- An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4Catherine Menon, Richard Hawkins, John A. McDermid, Tim Kelly. 129-147 [doi]
- IEC80001 and Future Ramifications for Health Systems not currently classed as Medical DevicesIan Harrison. 149-171 [doi]
- Competence, The Why? The How? and 'A Practical Approach'Peter Duggan. 175-186 [doi]
- The new IET Guide - how to do EMC to help achieve Functional SafetyKeith Armstrong. 187-210 [doi]
- Code of Practice and Competencies for ISAsSteve Kinnersly, Ian Spalding. 211-230 [doi]
- Evaluation and Integration of COTS in Evidence based Assurance FrameworksGeorgios Despotou, Mike Bennett, Tim P. Kelly. 233-254 [doi]
- A Way to Successful Hazard ManagementGabriele Schedl, Werner Winkelbauer, Alexander Wendt. 255-271 [doi]