search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

SCS

Keyphrases

Publications

volume 47, 2005

Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004 SCS 47 (2005)

2004

Ed Williams
Airborne Collision Avoidance System. SCS (2004)
Christian Hamoy, David Hemer, Peter A. Lindsay
HazLog: Tool Support for Hazard Management. SCS (2004)
Michael Ellims
On Wheels, Nuts and Software. SCS (2004)
Paul Chinneck, David John Pumfrey, John McDermid
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. SCS (2004)
Yiannis Papadopoulos, David Parker, Christian Grante
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs. SCS (2004)
Martyn Thomas
Engineering Judgement. SCS (2004)
Peter B. Ladkin
Causal Analysis of the ACAS/TCAS Sociotechnical System. SCS (2004)
Fan Ye, Tim Kelly
Contract-Based Justification for COTS Component within Safety Critical Applications. SCS (2004)
Michael Jones-Lee, Graham Loomes
Eliciting Measures of Value for Health and Safety. SCS (2004)
Gordon R. Stone
Complex Reactive Real Time Systems and the Safety Case. SCS (2004)
George Nikandros
COTS - Size Does Matter. SCS (2004)

volume 33, 2004

Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003 SCS 33 (2004)

2003

volume 15, 2003

Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002 SCS 15 (2003)

2002

2001

volume 3, 2001

Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001 SCS 3 (2001)