...
机译:FRA:验证交通信号灯,铁路道口是否同步
机译:使用二阶代数方法指定和验证实时系统:以铁路道口控制器为例
机译:铁路等级交叉附近交通信号的抢占
机译:铁路交叉路附近的交通信号的抢占
机译:用于并行铁路电平交通控制系统的红绿灯控制器使用确定性和随机培养网
机译:公路-铁路平交道口附近交叉口的交通信号抢占策略。
机译:改善行人对街道交叉安全的看法。交通车道人工照明和植被的心理和神经生理效果
机译:使用CafeOBJ指定和验证铁路道口
机译:增强交通控制设备和公路铁路211平交道口的铁路运营。总结报告