formal specification; formal verification; program testing; railway safety; railways; safety-critical software; signalling; ERTMS; ETCS trackside system; automatic train protection system; formal specification; functional testing; functional validation; international;
机译:基于OSLC的环境,用于ERTMS / ETCS控制器的系统级功能测试
机译:基于源网格联合调度控制仿真系统的多功能网络物理系统试验台
机译:基于界面附近和密闭系统中Lennard-Jones流体的广泛模拟的摄动密度泛函理论的全局和临界测试
机译:ERTMS / ETCS轨迹系统功能测试中异常的模拟
机译:轨道旁电力基础设施的铁路能量收集系统设计,建模和测试
机译:对蛋白质模拟可转移力域的评估证明了对无序状态和二级结构的描述以及多蛋白系统的暗示作为优化的下一个挑战
机译:基于模型的测试场景的生成方法:应用于ERTMS / ETCS系统