SCS 2002: Adelaide, Australia

Peter A. Lindsay (Ed.): Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002. CRPIT 15 Australian Computer Society 2003, ISBN 0-909-92593-3

Brenton Atchison, Alena Griffiths:
A Product-Based Assurance Model for Mixed-Integrity Markets. 55-62
Michael J. Bauer:
: Functional Safety of a Theatre Stage Machinery Control System. 49-53
Clive Boughton:
Beginning to Define a Body of Knowledge for Safety Practitioners. 31-40
Tony Cant:
Computer-Based Safety Critical Systems in Defence: Def (Aust) 5679. 9-16
Alena Griffiths, Dennis Yim:
Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions. 21-29
Michael G. Hinchey:
Confessions of a Formal Methodist. 17-20
John A. McDermid:
Trends in Systems Safety. 3-8
John McMullan:
Negligence: Engineering Safety-Critical Systems. 63-72
Felix Redmill:
A Community Club on Safety-Critical Systems. 41-48