Basic Angle; Astrometric Analysis software; Interferometer;
机译:基于早期模型的汽车控制系统软件实现的设计和验证
机译:将Gaia和AUML应用于柔性制造系统的基于多代理的控制软件的开发:解决方法和实施问题
机译:盖亚任务的天文核心解决方案-模型,算法和软件实现概述
机译:AVU / BAM:CU3 Gaia验证管道的软件翻新(设计和实施)
机译:软件验证技术在硬件设计验证中的应用。
机译:BAMS神经解剖学本体:设计与实现
机译:通过设计与实施的集成来验证软件
机译:FasTRUN管道原型测试和验证软件诊断程序