Software Model Checking of ARINC-653 Flight Code with MCP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sarah Thompson, Guillaume P. Brat, Arnaud Venet. Software Model Checking of ARINC-653 Flight Code with MCP. In César Muñoz, editor, Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings. Volume NASA/CP-2010-216215 of NASA Conference Proceedings, pages 171-181, 2010.

This author has not been identified. Look up 'Sarah Thompson' in GoogleThis author has not been identified. Look up 'Guillaume P. Brat' in GoogleThis author has not been identified. Look up 'Arnaud Venet' in Google

runs on WebDSL