An introduction to requirements capture using PVS : specification of a simple autopilot /

Bibliographic Details
Main Author:	Butler, Ricky W. (Author)
Corporate Author:	United States. National Aeronautics and Space Administration (sponsoring body.)
Format:	Government Document eBook
Language:	English
Published:	Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, May 1996.
Series:	NASA technical memorandum ; 110255.
Subjects:	Computer programming. Computer programs. User requirements. Software development tools. Program verification (computers) Software reliability. Equations of state. Specifications.
Online Access:	https://purl.fdlp.gov/GPO/gpo67752

Description
Item Description:	Title from title screen (viewed June 20, 2016). "May 1996." "Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page.
Physical Description:	1 online resource (iii, 29 pages) : illustrations.
Bibliography:	Includes bibliographical references (pages 24-25).