default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSCS 2002: Adelaide, Australia
- Peter A. Lindsay:
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 Alexander 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
