Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request

Status

Rate

Check Later

Authors

Ben L. Di Vito

Subjects

Verification Computer Programs Space Shuttles Formalism Space Navigation Global Positioning System Space Shuttle Missions Electronic Equipment

Reviews (0) see more

Seems like you haven't provided a review

Don't miss the opportunity to share your thoughts!

Similar Books

Similar Movies

Similar TV Series

Similar Games