93f5a533_litary___Aerospace_Electronics__Title
[Patent] US 20070074180 A1 [GSFC Case Number] GSC-15043-1 [Description] This innovation enables a model to be analyzed for contradictions, conflicts, and use of resources before the resources are available, competition for resources etc. The result is greatly improved code. [Title] 
Systems, Methods And Apparatus For Procedure Development And Verification
NASA to auction satellite software patent lots - Military & Aerospace Electronics
Title