Record Details

Catalog Search

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

Butler, Ricky W., author. (Author). Langley Research Center, issuing body. (Added Author). United States. National Aeronautics and Space Administration, sponsoring body. (Added Author).
Image of item

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