A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rob Weaver, Jane Fenn, Tim Kelly. A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. In Peter A. Lindsay, Anthony Cant, editors, Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003. Volume 33 of CRPIT, pages 57-67, Australian Computer Society, 2003. [doi]

This author has not been identified. Look up 'Rob Weaver' in GoogleThis author has not been identified. Look up 'Jane Fenn' in GoogleThis author has not been identified. Look up 'Tim Kelly' in Google

runs on WebDSL