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

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

Show other versions (1)
Bibliographic Details
Main Author: Butler, Ricky W. (Author)
Corporate Author: United States National Aeronautics and Space Administration (sponsoring body.)
Format: Government Document Book
Language:English
Published: Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, May 1996
Series:NASA technical memorandum ; 110255
NASA technical memorandum 110255
Subjects:
Computer programming
Computer programs
Equations of state
Program verification (computers)
Software development tools
Software reliability
Specifications
User requirements

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE

Similar Items