Cover Image

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

Show other versions (1)

Saved in:

Bibliographic Details
Online Access:	Online Access Online Access
Main Author:	Butler, Ricky W. (Author)
Corporate Author:	United States. National Aeronautics and Space Administration (sponsoring body.)
Other title:	Introduction to requirements capture using Prototype Verification System, specification of a simple autopilot.
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.

Internet

Online Access
Online Access

Online

Holdings details from Online
Call Number:	NAS 1.15:110255
NAS 1.15:110255	Available