车站联锁进路控制逻辑的形式化方法

车站联锁进路控制逻辑的形式化方法

胡晓辉1，韩佳芮2

Route control station interlock logic of formal methods

HU Xiaohui1, HAN Jiarui2

计算机工程与应用 . 2016, (17): 229 -234 .