Research in the development and certification of safety-related software [microform] : summary of research, 17 July 1995-31 July 1997 : prepared under grant number: NAG-1-1724 ... / principal investigators: Janet Flynt and Charlotte Scheper ([NASA contractor report] ; 206177)
Research in the development and certification of safety-related software [microform] : summary of research, 17 July 1995-31 July 1997 : prepared under grant number: NAG-1-1724 ... / principal investigators: Janet Flynt and Charlotte Scheper
原資料の出版事項: [Washington, DC ; Springfield, Va. : National Aeronautics and Space Administration : National Technical Information Service, distributor, 1997]