An introduction to requirements capture using PVS : specification of a simple autopilot / Ricky W. Butler.
- Physical Description: 1 online resource (iii, 29 pages) : illustrations.
- Publisher: Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, May 1996.
|General Note:|| Title from title screen (viewed June 20, 2016).
"Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page.
|Bibliography, etc. Note:|| Includes bibliographical references (pages 24-25).
|Funding Information Note:|| Sponsored by the National Aeronautics and Space Administration WU 505-64-10-13
Search for related items by series