Formal assurance certifiable tooling strategy final report / / Eric Bush [and six others]

• Record Nr.: UNINA9910705710003321
• Autore: Bush Eric Niels
• Pubbl/distr/stampa: Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , February 2017
• Descrizione fisica: 1 online resource (31 pages) : color illustrations
• Collana: NASA/CR ; ; 2017-219372
• Soggetti: Certification; Computer programs; Program verification (computers); Software development tools; Software engineering
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: "February 2017."; "Performing organization: NASA Langley Research Center"--Report documentation page.
• Nota di bibliografia: Includes bibliographical references (page 31).