Train Control Research Team, Korea Railroad Research Institute (KRRI), Korea;
Train Control Research Team, Korea Railroad Research Institute (KRRI), Korea;
Electrical and Computer Engineering, Chungnam University, Korea;
railway signalling systems; S/W testing tool; safety evaluation;
机译:铁路信号系统开发中的安全评估-以“ COMBAT”为例;二次线列车控制系统
机译:铁路信号系统发展安全评估 - 一个“战斗”的示例; 用于次要线路的列车控制系统
机译:基于自动机的铁路信号和联锁系统设计[测试我们自己]
机译:铁路信号系统软件安全评估自动测试工具设计
机译:根据十年来向美国联邦铁路管理局报告的事故数据对美国铁路安全进行的一项调查,并对美国联邦航空管理局的飞机设计安全目标进行了比较分析。
机译:不良结果途径可作为设计测试策略的工具以支持对纳米级新兴材料的安全性评估
机译:增强安全可靠性的铁路信号系统设计技术研究
机译:用于大规模软件系统的自动测试数据生成工具