COMPUTER SYSTEMS DESIGN; CONFERENCES; FORMALISM; PROGRAM VERIFICATION (COMPUTERS); SOFTWARE ENGINEERING; DESIGN ANALYSIS; MATHEMATICAL MODELS; TECHNOLOGY TRANSFER;
机译:NASA Langley / Ames二极管激光湿度计的校准和数据检索算法,用于NASA跨太平洋运输和化学演化(TRACE-P)任务-艺术。没有。 8792
机译:第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译:第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班
机译:NASA Langley的正规方法研究支持下一代航空运输系统
机译:NASA Langley的SmartLab的应用程序编程接口和用户界面的用户中心分析和开发
机译:从老鼠和人对地球和空间:联合Nasa-NCI研讨会肺癌的风险从空间和地面辐射得到的
机译:NASA Langley的开放式转子噪声预测方法-技术评论