Skip to main content

Search results for "software verification"

Viewing 1 - 20 of 147 results by relevance

An Assessment of Space Shuttle Flight Software Development Processes  (1993)

Consensus Study Report

Interim Report of NRC Review of NASA's Pioneering Revolutionary Technology Program  (2003)

Commercial Space Vehicle Emissions Modeling  (2021)

Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues  (1997)

Proceedings

Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop  (2023)

Proceedings

Space Station Engineering Design Issues: Report of a Workshop  (1989)

Consensus Study Report

Review of NASA's Aerospace Technology Enterprise: An Assessment of NASA's Pioneering Revolutionary Technology Program  (2003)

Post-Challenger Evaluation of Space Shuttle Risk Assessment and Management  (1988)

Proceedings

Software Update as a Mechanism for Resilience and Security: Proceedings of a Workshop  (2017)

Quality Processes for Bridge Analysis Models  (2024)

Proceedings

Law Enforcement Use of Probabilistic Genotyping, Forensic DNA Phenotyping, and Forensic Investigative Genetic Genealogy Technologies: Proceedings of a Workshop  (2024)

Proceedings

Summary of a Workshop on Software-Intensive Systems and Uncertainty at Scale  (2007)

Consensus Study Report

Transformation in the Air: A Review of the FAA's Certification Research Plan  (2015)

Consensus Study Report

Evaluation of the National Aerospace Initiative  (2004)

Consensus Study Report

Information Technology Innovation: Resurgence, Confluence, and Continuing Impact  (2020)

Consensus Study Report

Advancing Aeronautical Safety: A Review of NASA's Aviation Safety-Related Research Programs  (2010)

Consensus Study Report

The Growing Threat to Air Force Mission-Critical Electronics: Lethality at Risk: Unclassified Summary  (2019)

Consensus Study Report

Review of NASA's Exploration Technology Development Program: An Interim Report  (2008)

Proceedings

Materials and Manufacturing Capabilities for Sustaining Defense Systems: Summary of a Workshop  (2013)

Upgrading the Space Shuttle  (1999)