B-method; Animation; Model-based testing; ETCS;
机译:使用正式的B模型验证和真实演示ETCS混合3级原理
机译:使用正式的需求工程方法为ERTMS / ETCS 3级混合标准建模
机译:基于正式改进的混合ERTMS / ETCS 3级标准分析
机译:在运行时使用正式的B型号在ETCS混合级3概念的演示中,具有真正的火车
机译:使用经过实际数据训练的神经网络模型预测混合动力汽车的燃油经济性和排放。
机译:心血管研究中的再生概念:重塑缺血性心肌病的新型混合疗法
机译:基于ERTMS / ETCS等级的自动列车保护系统RAMS分析和评估活动研究