Ben L. Di Vito

Identifiers

Open LibraryOL4869482A

Top Subjects

Global Positioning System (1)
Computer programs -- Verification (1)
Space shuttles -- Electronic equipment (1)

Books by Ben L. Di Vito

Total count: 1

Using formal methods to assist in the requirements analysis of the space shuttle GPS change request

Available from the National Technical Information Service1996-01-01