SCS 2004: Brisbane, Queensland, Australia

Anthony Cant (Ed.): Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004. CRPIT 47 Australian Computer Society 2005 BibTeX

Paul Chinneck, David Pumfrey, John McDermid:
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. 33-41
Electronic Edition (link) BibTeX
Michael Ellims:
On Wheels, Nuts and Software. 67-76
Electronic Edition (link) BibTeX
Christian Hamoy, David Hemer, Peter A. Lindsay:
HazLog: Tool Support for Hazard Management. 77-87
Electronic Edition (link) BibTeX
Michael Jones-Lee, Graham Loomes:
Eliciting Measures of Value for Health and Safety. 49-58
Electronic Edition (link) BibTeX
Peter B. Ladkin:
Causal Analysis of the ACAS/TCAS Sociotechnical System. 3-12
Electronic Edition (link) BibTeX
George Nikandros:
COTS - Size Does Matter. 59-66
Electronic Edition (link) BibTeX
Yiannis Papadopoulos, David Parker, Christian Grante:
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs. 89-95
Electronic Edition (link) BibTeX
Gordon R. Stone:
Complex Reactive Real Time Systems and the Safety Case. 23-32
Electronic Edition (link) BibTeX
Martyn Thomas:
Engineering Judgement. 43-47
Electronic Edition (link) BibTeX
Ed Williams:
Airborne Collision Avoidance System. 97-110
Electronic Edition (link) BibTeX
Fan Ye, Tim Kelly:
Contract-Based Justification for COTS Component within Safety Critical Applications. 13-22
Electronic Edition (link) BibTeX