An introduction to requirements capture using PVS

specification of a simple autopilot

By Ricky W. Butler

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1996

Publisher

National Aeronautics and Space Administration, Langley Research Center,National Technical Information Service, distributor

Language

eng

Pages

1-2 of 2 Editions

An introduction to requirements capture using PVS

Language: eng

Published In: 1996

Publisher: National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor

An introduction to requirements capture using PVS

Language: eng

Published In: 1996

Publisher: National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor