aerospace control; control system CAD; formal specification; ground support systems; program compilers; programming; LOGOS NASA autonomous ground control system; R2D2C approach; automatic provably-correct code generation; computer-based systems; prototype tool; req;
机译:基于需求的编程方法,用于开发NASA自主地面控制系统
机译:开发用于NASA的有效载荷转移操作的机电地面支持系统:以航天飞机计划中的多学科工作为例
机译:一种基于生态系统服务的方法,用于设计2014-2020年农村发展计划的农业环境付款。特伦托自治省的案例
机译:具有基于需求的编程方法开发NASA自主地面控制系统的经验
机译:员工调度问题的系统工程方法,适用于美国国家航空航天局的任务控制中心的飞行控制器调度
机译:实验室开发的血糖监测系统质量控制程序的开发和应用:单一机构的经验
机译:基于需求的编程方法在开发NASA自主地面控制系统方面的经验
机译:基于需求的编程方法在Nasa自主地面控制系统开发方面的经验