Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

J. Boulanger, V. Delebarre, Stéphane Natkin, J. Ozello. Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems. In 2nd High-Assurance Systems Engineering Workshop (HASE 97), August 11-12, 1997, Washington, DC, USA, Proceedings. pages 162-167, IEEE Computer Society, 1997. [doi]

This author has not been identified. Look up 'J. Boulanger' in GoogleThis author has not been identified. Look up 'V. Delebarre' in GoogleThis author has not been identified. Look up 'Stéphane Natkin' in GoogleThis author has not been identified. Look up 'J. Ozello' in Google

runs on WebDSL