机译:使用SPIN验证混合ERTMS / ETCS 3级
机译:使用正式的需求工程方法为ERTMS / ETCS 3级混合标准建模
机译:ABZ 2018案例研究特殊部分简介:混合ERTMS / ETCS 3级
机译:旋转杂交振动率/ etcs 3案例研究
机译:具有电池和储氢的太阳能混合液体电力稳定能源系统的动态建模,能源,漏洞和稳定成本分析
机译:二级人工椎间盘置换术与二级颈前路椎间盘切除术融合融合术对颈椎手术重建的混合构造比较:整个尸体的运动学研究
机译:ABZ 2018案例研究中的特殊部分简介:混合型ERTMS / ETCS等级3
机译:sup(185m + G)Hg的衰变:exp 185 au的低自旋水平作为核模型的测试