区域控制器论文

基于UML顺序图与UPPAAL的列车追踪模块建模研究（英文）
论文摘要区域控制器(zonecontroller,ZC)是一个实时复杂系统,它要求过程控制的准确性。列车追踪场景是城市轨道交通(communicationbasedtrainc...