Record Details

Catalog Search

An introduction to requirements capture using PVS : specification of a simple autopilot / Ricky W. Butler.

Record details

  • Physical Description: 1 online resource (iii, 29 pages) : illustrations.
  • Publisher: Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, May 1996.

Content descriptions

General Note: Title from title screen (viewed June 20, 2016).
"May 1996."
"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

Additional Resources