虚实结合的地铁闸机系统通行逻辑验证
孔慧慧; 李宏胜
交通科技与经济 . 2017, (5): 24 -28 .