SCS 2003: Canberra, ACT, Australia

Peter A. Lindsay, Anthony Cant (Eds.): Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003. CRPIT 33 Australian Computer Society 2004 BibTeX

Iain Bate, Richard Hawkin, John A. McDermid:
A Contract-based Approach to Designing Safe Systems. 25-36
Electronic Edition (link) BibTeX
Philippa Conmy, Mark Nicholson, John A. McDermid:
Safety Assurance Contracts for Integrated Modular Avionics. 69-78
Electronic Edition (link) BibTeX
Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel:
A New Component Concept for Fault Trees. 37-46
Electronic Edition (link) BibTeX
Peter B. Ladkin, Jörn Stuphorn:
Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort. 3-23
Electronic Edition (link) BibTeX
John Murdoch, Graham Clark, Antony Powell, Paul Caseley:
Measuring Safety: Applying PSM to the System Safety Domain. 47-55
Electronic Edition (link) BibTeX
Richard M. Robinson, Kevin J. Anderson:
SIL Rating Fire Protection Equipment. 89-97
Electronic Edition (link) BibTeX
Jason Smith, Selwyn Russell, Mark Looi:
Security as a Safety Issue in Rail Communications. 79-88
Electronic Edition (link) BibTeX
Rob Weaver, Jane Fenn, Tim Kelly:
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. 57-67
Electronic Edition (link) BibTeX