1–5 of 5 hits
|

Your search:
keywords:(flight safety)

    Reliability modeling for safety-critical software

    Schneidewind, N.F. | Tema Archive | 1997
    Keywords: safety-critical software , space shuttle flight software , mission safety , Crew safety

    Integrated toolset for high-integrity system verification and validation support (avionics)

    Cabos, R.P. | Tema Archive | 1990
    Keywords: FLIGHT SAFETY CRITICAL SOFTWARE

    Reducing the risks of using Ada onboard the Space Station

    Humphrey, T.D. | Tema Archive | 1988
    Keywords: FLIGHT SOFTWARE , SAFETY-CRITICAL SYSTEMS