Shaw, Hui-Yin; Sherif, Joseph S.
(Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2004., 2004-04)
This paper describes the MLS software safety analysis activities and documents the SSA results. The scope of this software safety effort is consistent with the MLS system safety definition and is concentrated on the ...