Railway industry; Safety; Computer codes; Design; Eclipse technology; Patterns; Project management; Signalling schemas; Verification;
机译:铁路安全事故的建模:安全与故障事件网络(SAFE-Net)方法
机译:adacore的GNAT Pro for Hitachi Rail STS的新铁路安全平台
机译:基于Jastrzebska Railway Company Ltd.的铁路运输战略安全管理模型。
机译:用于铁路安全和通行能力建模的SafeCap平台
机译:根据十年来向美国联邦铁路管理局报告的事故数据对美国铁路安全进行的一项调查,并对美国联邦航空管理局的飞机设计安全目标进行了比较分析。
机译:基于测量属性识别模型的高速铁路环境安全评价
机译:大型风险评估模型的不确定性分析及其在铁路安全和标准局安全风险模型中的应用
机译:计算科学:saFECap关于安全和能力推理的领域语言。