A refinement based approach to calculating a fault tolerant railway signal device - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alistair A. McEwan, J. C. P. Woodcock. A refinement based approach to calculating a fault tolerant railway signal device. In René Jacquart, editor, Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France. pages 621-628, Kluwer, 2004.

This author has not been identified. Look up 'Alistair A. McEwan' in GoogleThis author has not been identified. Look up 'J. C. P. Woodcock' in Google

runs on WebDSL