...
机译:TCAS II防撞子系统的独立验证和验证
aircraft computers; certification; collision avoidance; formal verification; safety-critical software; specification languages; DO-178B Level B; Requirements State Machine Language; TCAS II collision avoidance subsystem; Traffic Alert and Collision Avoidance Syst;
机译:TCAS II防撞子系统的独立验证和验证
机译:
机译:小型独立验证团队快速验证疾病爆发情报
机译:TCAS II防撞子系统的独立验证和验证
机译:在企业部署之前实施独立验证和确认过程的有效性:国防部的一个案例研究。
机译:PSXIII-16用于确定犬血清中总二十二碳六烯酸浓度的LC / MS方法的验证和验证。
机译:Flash计算机代码的独立验证和验证测试,版本3. 0
机译:TCas II(交通警报和防撞系统):高流量密度监视子系统的设计和验证