The SSP: An Example of High-Assurance Systems Engineering - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter. The SSP: An Example of High-Assurance Systems Engineering. In 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA. pages 167-177, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Gregory L. Wickstrom' in GoogleThis author has not been identified. Look up 'Jared Davis' in GoogleThis author has not been identified. Look up 'Steven E. Morrison' in GoogleThis author has not been identified. Look up 'Steve Roach' in GoogleThis author has not been identified. It may be one of the following persons:

Victor L. Winter

Look up 'Victor L. Winter' in Google

runs on WebDSL