First Page | Document Content | |
---|---|---|
Date: 2012-09-04 16:57:56 | Software Model Checking of ARINC-653 Flight Code with MCP Sarah J. Thompson Guillaume Brat SGT Inc., NASA Ames Research Center CMU, NASA Ames Research CenterAdd to Reading ListSource URL: ti.arc.nasa.govDownload Document from Source WebsiteFile Size: 200,08 KBShare Document on Facebook |