An introduction to requirements capture using PVS [microform] : specification of a simple autopilot / Ricky W. Butler (NASA technical memorandum ; 110255)
An introduction to requirements capture using PVS [microform] : specification of a simple autopilot / Ricky W. Butler
原資料の出版事項: Hampton, Va. ; [Springfield, Va. : National Aeronautics and Space Administration, Langley Research Center : National Technical Information Service, distributor, 1996]