|
| | | |
Volume 15 - Safety Critical Systems and Software 2002Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Adelaide, Australia, October 2002This volume contains the proceedings of the Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Adelaide, Australia, October 2002. Where indicated, the paper is available for download in PDF or Postscript format. The series is published by, and most papers are copyright of, the Australian Computer Society Inc. Reproduction for academic research and not-for-profit purposes is granted provided the copyright notice on the first page of each paper is included.
Volume CitationLindsay, P., Ed. (2002). Safety-Critical Systems and Software 2002. Proceedings of the Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software (SCS 2002). CRPIT. 15. Adelaide, Australia, ACS.
Papers Included in the VolumeAtchison, B. and Griffiths, A. (2002). A Product-Based Assurance Model for Mixed-Integrity Markets. In Proc. Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software (SCS 2002), Adelaide, Australia. CRPIT, 15. Lindsay, P., Ed. ACS. 55-62. |
| Bauer, M.J. (2002). Functional Safety of a Theatre Stage Machinery Control System. In Proc. Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software (SCS 2002), Adelaide, Australia. CRPIT, 15. Lindsay, P., Ed. ACS. 49-53. |
| Boughton, C. (2002). Beginning to Define a Body of Knowledge for Safety Practitioners. In Proc. Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software (SCS 2002), Adelaide, Australia. CRPIT, 15. Lindsay, P., Ed. ACS. 31-40. |
| Cant, T. (2002). Computer-Based Safety Critical Systems in Defence: Def (Aust) 5679. In Proc. Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software (SCS 2002), Adelaide, Australia. CRPIT, 15. Lindsay, P., Ed. ACS. 9-16. |
| Griffiths, A. and Yim, D. (2002). Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions. In Proc. Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software (SCS 2002), Adelaide, Australia. CRPIT, 15. Lindsay, P., Ed. ACS. 21-29. |
| Hinchey, M.G. (2002). Confessions of a Formal Methodist. In Proc. Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software (SCS 2002), Adelaide, Australia. CRPIT, 15. Lindsay, P., Ed. ACS. 17-20. |
| McDermid, J.A. (2002). Trends in Systems Safety: A European View?. In Proc. Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software (SCS 2002), Adelaide, Australia. CRPIT, 15. Lindsay, P., Ed. ACS. 3-8. |
| McMullan, J. (2002). Negligence: Engineering Safety-Critical Systems. In Proc. Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software (SCS 2002), Adelaide, Australia. CRPIT, 15. Lindsay, P., Ed. ACS. 63-72. |
| Redmill, F. (2002). A Community Club on Safety-Critical Systems. In Proc. Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software (SCS 2002), Adelaide, Australia. CRPIT, 15. Lindsay, P., Ed. ACS. 41-48. |
|
Papers listed: 9
|