Evaluation of Software Development Tools for High Assurance Safety Critical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andrew J. Kornecki, Kimberley Hall, Darryl Hearn, Herman Lau, Janusz Zalewski. Evaluation of Software Development Tools for High Assurance Safety Critical Systems. In 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA. pages 273-274, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Andrew J. Kornecki' in GoogleThis author has not been identified. Look up 'Kimberley Hall' in GoogleThis author has not been identified. Look up 'Darryl Hearn' in GoogleThis author has not been identified. Look up 'Herman Lau' in GoogleThis author has not been identified. Look up 'Janusz Zalewski' in Google

runs on WebDSL