First Page | Meta Content | |
---|---|---|
Document Date: 2009-04-14 10:28:03Open Document File Size: 289,67 KBShare Result on FacebookCompanySTI Program Office / SRI international / SRI’s Symbolic Analysis Laboratory / Langley Research Center / / /EventBusiness Partnership / /FacilityVirginia César A. Muñoz National Institute of Aerospace / Port Royal Road Springfield / NASA Center / National Institute / / /IndustryTermstate transition systems / power management / safety-critical applications / component-based software library / autonomy technology / /OrganizationNational Institute / Program Office / An Abstract Plan Preparation Language Ricky W. Butler Langley Research Center / Virginia César A. Muñoz National Institute of Aerospace / NASA Center for AeroSpace Information / NASA STI Program Office / National Aeronautics and Space Administration / National Technical Information Service / Virginia National Aeronautics and Space Administration / /PersonJohn Rushby / Virginia César / / /PositionNDDL Translator / CONTRACTOR / Governor / instrument controller / translator / EUROPA planner / Butler / General / /ProductShuttle / /ProvinceOrStateVirginia / Maryland / /Technologyautonomy technology / artificial intelligence / /URLhttp /SocialTag |