基于UPPAAL的铁路车站信号联锁系统模型验证

机译：铁路联锁系统的基于组件的拓扑模型

机译：铁路联锁系统的验证过程

机译：基于Petri网的基于组件的分布式铁路联锁系统建模与分析

机译：铁路时刻表的正式验证-使用UPPAAL模型检查器

机译：使用模型检查工具（Xuppaal和Kronos）验证中型实时软件系统

机译：两种不同类型的铁路道ast在压缩和直接剪切试验中的比较：实验结果和DEM模型验证

机译：铁路时刻表的正式验证 - 使用UPPAAL模型检查器

机译：使用UppaaL验证计划模型

机译：CILKRAS-基于云的铁路控制系统。 -这是一个联锁系统，可利用基于共享云服务器的资源和服务，高速数据网络的强大功能和经济性，可访问性和可靠性不断提高的高效率运行火车。这将使铁路基础设施的建设更加容易和经济。这将特别有利于铁路网络的商业用户，如煤炭和其他矿产资源行业。铁路网络运营商将有更多选择，以最适合他们的方式实施网络控制。

机译：基于人工智能级模型验证的基于人工智能类模型验证的编码课程的方法，装置和计算机程序

机译：模型铁路路基联锁系统