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

Peter A. Lindsay, editor, Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002. Volume 15 of CRPIT, Australian Computer Society, 2003.

Conference: SCSC2003

Abstract

Abstract is missing.

Table of Contents