- Additional Authors
- Description
- 1 online resource (iii, 29 pages): illustrations.
- Series Statement
- NASA technical memorandum ; 110255
- Uniform Title
- NASA technical memorandum ; 110255.
- Alternative Title
- Introduction to requirements capture using Prototype Verification System, specification of a simple autopilot
- Subject
- Genre/Form
- Technical reports
- Technical reports.
- Note
- Title from title screen (viewed June 20, 2016).
- "May 1996."
- "Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page.
- Bibliography (note)
- Includes bibliographical references (pages 24-25).
- Funding (note)
- Sponsored by the National Aeronautics and Space Administration
- Call Number
- GPO Internet NAS 1.15:110255
- OCLC
- 951986184
- Author
Butler, Ricky W., author.
- Title
An introduction to requirements capture using PVS : specification of a simple autopilot / Ricky W. Butler.
- Publisher
Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, May 1996.
- Type of Content
text
- Type of Medium
computer
- Type of Carrier
online resource
- Series
NASA technical memorandum ; 110255
NASA technical memorandum ; 110255. http://id.loc.gov/authorities/names/n83707893
- Bibliography
Includes bibliographical references (pages 24-25).
- Funding
Sponsored by the National Aeronautics and Space Administration WU 505-64-10-13
- Connect to:
- Added Author
Langley Research Center, issuing body.
United States. National Aeronautics and Space Administration, sponsoring body.
- Other Form:
Microfiche version: Butler, Ricky W. Introduction to requirements capture using PVS (OCoLC)39675735
- Gpo Item No.
0830-H-15 (online)
- Sudoc No.
NAS 1.15:110255
- Research Call Number
GPO Internet NAS 1.15:110255