Alena Griffiths, Dennis Yim. Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions. In 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, pages 21-29, Australian Computer Society, 2002. [doi]
Abstract is missing.