Software Assurance Research Infusion: The NASA Experience - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick. Software Assurance Research Infusion: The NASA Experience. In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 18-27, IEEE, 2006. [doi]

This author has not been identified. Look up 'Michael G. Hinchey' in GoogleThis author has not been identified. It may be one of the following persons:

Thomas Pressburger

Look up 'Thomas Pressburger' in GoogleThis author has not been identified. It may be one of the following persons:

Martin S. Feather

Look up 'Martin S. Feather' in GoogleThis author has not been identified. Look up 'Lawrence Markosian' in GoogleThis author has not been identified. Look up 'Wes Deadrick' in Google

runs on WebDSL