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 BibTeX

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