aerospace computing; artificial satellites; embedded systems; program testing; program verification; satellite computers;
机译:印度火星轨道特派团观察火星的高压中性成分的研究
机译:利用印度火星轨道飞行器任务(MOM)数据估算火星谷Valles Marineris中的尘埃变异性和大气光学深度(AOD)的尺度高度
机译:印度首个行星际太空探测器对火星的科学探索:火星轨道飞行器任务
机译:关键任务软件测试理念是印度火星轨道飞行器中基于SILS的方法
机译:一种基于机器学习的方法,用于关键任务软件系统的动态可靠性评估。
机译:在软件定义的IEEE 802.11网络中支持5G任务关键应用程序
机译:ExoMars微量气体轨道飞行器任务上的NOMAD光谱仪:第2部分:紫外线和可见光通道的设计,制造和测试
机译:基于aLsEs(进近和着陆航天飞机工程仿真)分析的aLT接口轨道器高度分析。任务规划,任务分析和软件制定