Provenance
Source & edition record
This page records where the text came from, what changed in presentation, and what remains unverified.
Bibliographic source
- Work
- Streamlining Software Aspects of Certification: Technical Team Report on the First Industry Workshop
- Authors
- Kelly J. Hayhurst, C. Michael Holloway, John C. Knight, Nancy G. Leveson, Jeffrey C. Yang, Cheryl A. Dorsey, and G. Frank McCormick
- First publication
- NASA Technical Reports Server
- Source edition
- Technical Memorandum (TM), NASA, 1998
- Accessed
- 2026-08-24
- Verification
- source-compared
- Source snapshot SHA-256
1b76c76f9fe750912a60486acf6e5411548ee1a0dcc6bc827c857695b78c4ee9
Transformations
Rights status
public-domain. NASA NTRS marks this record as a work of the U.S. Government with public use permitted and no third-party material indicated. View the rights record ↗