Institute of Automatics,AGH University of Science and Technology,Al. Mickiewicza 30, 30-059 Krakow, Poland;
机译:使用手机网络开发火车保护系统(自动列车保护和块系统)
机译:利用自动列车操作系统验证优化节能列车调度
机译:利用自动列车操作系统验证优化节能列车调度
机译:使用RTCP-网验证自动列车保护系统
机译:在软件密集型系统中自动验证行为规范。
机译:使用Roche CAP / CTM系统的天龙自动超敏乙型肝炎病毒DNA定量系统的性能验证和比较
机译:利用自动列车操作系统验证优化节能列车调度
机译:设计自动编程和培训人员的人为因素(aN / asG-15-T1火控系统培训师)