Detecting mode confusion through formal modeling and analysis [microform] / Steven P. Miller and James N. Potts ([NASA contractor report] ; NASA/CR-1999-208971)
Detecting mode confusion through formal modeling and analysis [microform] / Steven P. Miller and James N. Potts
原資料の出版事項: Hampton, Va. ; Springfield, VA : National Aeronautics and Space Administration, Langley Research Center : National Technical Information Service [distributor, 1999]