93f5a533_litary___Aerospace_Electronics__Title
[Patent] US 7,752,608 [GSFC Case Number] GSC-14942-1 [Description] This patent describes the use of an “inference engine” for converting system rules into a process-based specification that can then be analyzed. [Title] 
Systems, Methods And Apparatus For Verification Of Knowledge-Based Systems
NASA to auction satellite software patent lots - Military & Aerospace Electronics
Title