Acquisition Source
Jet Propulsion Laboratory
Document Type
Preprint (Draft being sent to journal)
Date Acquired
August 23, 2013
Publication Date
September 27, 1994
Subject Category
Computer Programming And Software Distribution Limits
Public
Keywords
formal methods computer system specification computer system verificationsoftware specification software verification Space Shuttle Jet Select subsystemNASA software systems