UML; OCL; inference machine; software verification;
机译:迈向飞行控制软件中经过正式验证的优化编译
机译:小型无人机飞行控制开发集成框架的开发和应用
机译:基于软件航天器模拟器的机载飞行软件的开发和验证
机译:基于QP的UAV飞行控制软件的开发框架和正式验证
机译:固定翼UAV的实时非线性飞行控制=固定翼UAV的实时非线性飞行控制
机译:支持适航性认证的无人机飞行控制系统的实时可靠性验证
机译:将基于UML的形式规范,验证和验证应用于太空飞行控制系统和防御软件