...
机译:RailML中铁路互锁数据的高效形式化
Delft University of Technology, Faculty of Civil Engineering and Geosciences, 2628 CN Delft, The Netherlands;
Delft University of Technology, Faculty of Civil Engineering and Geosciences, 2628 CN Delft, The Netherlands;
Siemens NL, Department of Rail Automation, Prinses Beatrixlaan 800 2595 BN Den Haag, The Netherlands;
Delft University of Technology, Faculty of Civil Engineering and Geosciences, 2628 CN Delft, The Netherlands;
Railway interlocking; RailML database; UML class diagram; Simplification of railway engineering processes; Knowledge-based railway systems;
机译:铁路信号联锁系统面向数据架构的研究
机译:铁路信号联锁系统面向数据架构的研究
机译:铁路信号互锁系统数据面向数据架构的研究
机译:借助Z-符号实现铁路联锁系统的形式化
机译:根据十年来向美国联邦铁路管理局报告的事故数据对美国铁路安全进行的一项调查,并对美国联邦航空管理局的飞机设计安全目标进行了比较分析。
机译:组织联锁溶解微针准确有效地透皮递送生物分子
机译:高效地理互锁系统数据验证
机译:Ignition Interlock Institutes:促进联锁的使用和联锁计划的改进。