RBC(Radio Block Center，无线闭塞中心)作为CTCS-3级列控系统地面核心设备，围绕RBC的运营场景是列控系统主要的工作方式，在确保系统安......

RBC(Radio Block Center,无线闭塞中心)作为CTCS-3级列控系统地面核心设备,围绕RBC的运营场景是列控系统主要的工作方式,在确保系......

应用统一建模语言UML与模型检验工具PHAVer（Polyhedral Hybrid Automaton verifier）相结合的方法,研究CTCS-3级列控系统RBC控车场景：......