Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.HYBRID VERIFICATION BY EXPLOITING THE ENVIRONMENT Limor Fix and Fred B Schneider Jul. ... NAS 1.26:195810; AD-A283182; TR-94-1436) Avail: CASI HC A03/MF A01 A method for verifying hybrid systems is given. ... USERa#39;S GUIDE AND SOFTWARE MAINTENANCE MANUAL, VERSION 2.1 Paul G Mallasch (Analex Corp., Brook Park, OH ) and Slavoljub ... The Reference Guide describes the tools and functions in such a manner that the advanced user can easily seekanbsp;...
|Title||:||Scientific and Technical Aerospace Reports|